jenkins-bot has submitted this change and it was merged.

Change subject: Fix case of a class
......................................................................


Fix case of a class

Caused a fatal error if the case sensitive autoloader is enabled.

Change-Id: I04e494041399418da8585c8433cf08a3a8a73d2b
---
M specials/SpecialTranslations.php
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Siebrand: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/specials/SpecialTranslations.php b/specials/SpecialTranslations.php
index d80c81d..bec4f16 100644
--- a/specials/SpecialTranslations.php
+++ b/specials/SpecialTranslations.php
@@ -14,7 +14,7 @@
  *
  * @ingroup SpecialPage TranslateSpecialPage
  */
-class SpecialTranslations extends SpecialAllpages {
+class SpecialTranslations extends SpecialAllPages {
        public function __construct() {
                parent::__construct( 'Translations' );
        }

-- 
To view, visit https://gerrit.wikimedia.org/r/278254
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I04e494041399418da8585c8433cf08a3a8a73d2b
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Translate
Gerrit-Branch: master
Gerrit-Owner: Nikerabbit <[email protected]>
Gerrit-Reviewer: Siebrand <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to