What's %MediaWiki? Remove random % from comment

Change-Id: I5e13a7b408885c390bb0b7b3cc1f585d43e327b2

diff --git a/includes/Setup.php b/includes/Setup.php
index 94da424..ecd164d 100644 (file)
--- a/includes/Setup.php
+++ b/includes/Setup.php
@@ -1,6 +1,6 @@
 <?php
 /**
- * Include most things that are needed to make %MediaWiki work.
+ * Include most things that are needed to make MediaWiki work.
  *
  * This file is included by WebStart.php and doMaintenance.php so that both
  * web and maintenance scripts share a final set up phase to include necessary