close comment so that $wgSiteNotice is defined again -- broken since r22897
authorBrion Vibber <brion@users.mediawiki.org>
Mon, 11 Jun 2007 19:42:03 +0000 (19:42 +0000)
committerBrion Vibber <brion@users.mediawiki.org>
Mon, 11 Jun 2007 19:42:03 +0000 (19:42 +0000)
commitd23596ede531fa2396598a4539706b552b6f54e0
tree3260776b2d1701e7de316cf00249f9e6735b1f14
parent5860ba18945214fcc21cba2c109d1733e9687970
close comment so that $wgSiteNotice is defined again -- broken since r22897
includes/DefaultSettings.php