close comment so that $wgSiteNotice is defined again -- broken since r22897

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 9662bbe..564f82d 100644 (file)
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -1538,6 +1538,7 @@ $wgNamespacesToBeSearchedDefault = array(
  * This message can contain wiki text, and can also be set through the
  * MediaWiki:Sitenotice page. You can also provide a separate message for
  * logged-out users using the MediaWiki:Anonnotice page.
+ */
 $wgSiteNotice = '';
 
 #