From 3065ed5933ae34a60a308b6271da620bfc4861e8 Mon Sep 17 00:00:00 2001
From: James Nurthen <jnurthen@users.noreply.github.com>
Date: Fri, 11 Aug 2023 00:34:58 -0700
Subject: [PATCH] add contributors (#1993)

Closes #1866

Drops the previously active section and adds a new GH contributors section
---
 index.html | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/index.html b/index.html
index 4967c781c..489690950 100644
--- a/index.html
+++ b/index.html
@@ -14113,8 +14113,11 @@ <h2>WAI-ARIA Role, State, and Property Quick Reference</h2>
 	<section class="appendix informative section" id="acknowledgements">
 		<h3>Acknowledgments</h3>
 		<p>The following people contributed to the development of this document.</p>
+		<ul id="gh-contributors">
+			<!-- list of contributors will appear here,
+					 along with link to their GitHub profiles -->
+		</ul>
 		<div data-include="common/acknowledgements/aria-wg-active.html" data-include-replace="true"></div>
-		<div data-include="common/acknowledgements/aria-contributors.html" data-include-replace="true"></div>
 		<div data-include="common/acknowledgements/funders.html" data-include-replace="true"></div>
 	</section>
 </body>