Kill off $wgLocalInterwiki

Change-Id: I07e44d1384138704eea979263e45a9853a0ae621

RELEASE-NOTES-1.35

@@ -85,6 +85,7 @@ For notes on 1.34.x and older releases, see HISTORY.
 * $wgAllowTitlesInSVG, unused and deprecated since 1.34, was removed.
 * $wgEnablePartialBlocks - This setting, deprecated when it was added in 1.33,
   was removed. Partial blocks are now always enabled.
+* $wgLocalInterwiki, deprecated in 1.23 has been removed.
 * …
 
 === New user-facing features in 1.35 ===

includes/DefaultSettings.php

@@ -3949,13 +3949,6 @@ $wgNamespaceAliases = [];
  */
 $wgLegalTitleChars = " %!\"$&'()*,\\-.\\/0-9:;=?@A-Z\\\\^_`a-z~\\x80-\\xFF+";
 
-/**
- * The interwiki prefix of the current wiki, or false if it doesn't have one.
- *
- * @deprecated since 1.23; use $wgLocalInterwikis instead
- */
-$wgLocalInterwiki = false;
-
 /**
  * Array for multiple $wgLocalInterwiki values, in case there are several
  * interwiki prefixes that point to the current wiki. If $wgLocalInterwiki is

includes/Setup.php

@@ -386,12 +386,6 @@ unset( $rcMaxAgeDays );
 $wgSkipSkins[] = 'fallback';
 $wgSkipSkins[] = 'apioutput';
 
-if ( $wgLocalInterwiki ) {
-	// Hard deprecated in 1.34.
-	wfDeprecated( '$wgLocalInterwiki – use $wgLocalInterwikis instead', '1.23' );
-	array_unshift( $wgLocalInterwikis, $wgLocalInterwiki );
-}
-
 // Set default shared prefix
 if ( $wgSharedPrefix === false ) {
 	$wgSharedPrefix = $wgDBprefix;