diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index d50e26581a5..b05856d86a4 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.