Merge "Remove deprecated wfSplitWikiID() function"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 28 Mar 2019 19:51:22 +0000 (19:51 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 28 Mar 2019 19:51:22 +0000 (19:51 +0000)
RELEASE-NOTES-1.33
includes/GlobalFunctions.php

index 39274bc..ddd6da9 100644 (file)
@@ -344,6 +344,7 @@ because of Phabricator reports.
 * The translation of main page in Sardinian (sc) was changed from "Pàgina Base"
   to "Pàgina printzipale". Existing wikis using this content language need to
   move the main page or change the name through MediaWiki:Mainpage page.
+* wfSplitWikiID(), deprecated in 1.32, has been removed.
 
 === Deprecations in 1.33 ===
 * The configuration option $wgUseESI has been deprecated, and is expected
index 55b78ac..20f3fd0 100644 (file)
@@ -2610,22 +2610,6 @@ function wfWikiID() {
        }
 }
 
-/**
- * Split a wiki ID into DB name and table prefix
- *
- * @param string $wiki
- *
- * @return array
- * @deprecated 1.32
- */
-function wfSplitWikiID( $wiki ) {
-       $bits = explode( '-', $wiki, 2 );
-       if ( count( $bits ) < 2 ) {
-               $bits[] = '';
-       }
-       return $bits;
-}
-
 /**
  * Get a Database object.
  *