From d23596ede531fa2396598a4539706b552b6f54e0 Mon Sep 17 00:00:00 2001
From: Brion Vibber <brion@users.mediawiki.org>
Date: Mon, 11 Jun 2007 19:42:03 +0000
Subject: [PATCH] close comment so that $wgSiteNotice is defined again --
 broken since r22897

---
 includes/DefaultSettings.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 9662bbeae2..564f82df67 100644
--- 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 = '';
 
 #
-- 
2.20.1