diff --git a/php/servers/known-servers.php b/php/servers/known-servers.php
index cde17fc7..2182c54e 100644
--- a/php/servers/known-servers.php
+++ b/php/servers/known-servers.php
@@ -160,6 +160,14 @@
 	 * Community rooms encouraged for use in discussing https://sessioncommmunities.online/.
 	 */
 	$ROOMS_USED_BY_PROJECT = [
-		"webdev+118d"
+		"webdev+118d",
+	];
+
+	/**
+	 * @var string[] $STICKIED_ROOMS
+	 * Community rooms anchored to the top of the list.
+	 */
+	$STICKIED_ROOMS = [
+
 	];
 ?>