From 73ff5c48d8471e97dbf0a397cfd8d3ebc811fb2a Mon Sep 17 00:00:00 2001
From: Krinkle <krinkle@users.mediawiki.org>
Date: Thu, 4 Aug 2011 05:44:52 +0000
Subject: [PATCH] Removing left-over comment from r67733.

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

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index d50e26581a..b05856d86a 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -111,7 +111,7 @@ $wgScript           = false;
  *
  * Defaults to "{$wgScriptPath}/redirect{$wgScriptExtension}".
  */
-$wgRedirectScript   = false; ///< defaults to
+$wgRedirectScript   = false;
 
 /**
  * The URL path to load.php.
-- 
2.20.1