From aef531f6d4b8eea10a35e2ee4f9bb522665867fa Mon Sep 17 00:00:00 2001 From: withoutaname Date: Sun, 13 Jul 2014 01:22:30 -0700 Subject: [PATCH] Rename Wiki.php to MediaWiki.php This only renames the file, not the class itself. Change-Id: I53dfa5ae98c8f45b32f911419217692cfd760cd7 --- includes/AutoLoader.php | 2 +- includes/{Wiki.php => MediaWiki.php} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename includes/{Wiki.php => MediaWiki.php} (100%) diff --git a/includes/AutoLoader.php b/includes/AutoLoader.php index c879258bf1..ff016744e7 100644 --- a/includes/AutoLoader.php +++ b/includes/AutoLoader.php @@ -128,7 +128,7 @@ $wgAutoloadLocalClasses = array( 'MagicWord' => 'includes/MagicWord.php', 'MagicWordArray' => 'includes/MagicWord.php', 'MailAddress' => 'includes/UserMailer.php', - 'MediaWiki' => 'includes/Wiki.php', + 'MediaWiki' => 'includes/MediaWiki.php', 'MediaWikiI18N' => 'includes/SkinTemplate.php', 'MediaWikiVersionFetcher' => 'includes/MediaWikiVersionFetcher.php', 'Message' => 'includes/Message.php', diff --git a/includes/Wiki.php b/includes/MediaWiki.php similarity index 100% rename from includes/Wiki.php rename to includes/MediaWiki.php -- 2.20.1