wikimedia/mediawiki-extensions-Interwiki
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Interwiki synced 2024-11-14 18:15:44 +00:00
Code Issues Packages Projects Releases Wiki Activity

(bug 32075) Always add lowercase interwikis. Patch by Vitaliy Filippov.

Browse source
This commit is contained in:
Robin Pepermans 2011-12-01 20:23:04 +00:00
parent 391ad98c20
commit b81a0b4240
Notes: Robin Pepermans 2011-12-01 20:23:04 +00:00 
https://mediawiki.org/wiki/Special:Code/MediaWiki/104892
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
Interwiki_body.php
View file

@ -167,6 +167,8 @@ class SpecialInterwiki extends SpecialPage {
}
function doSubmit() {
global $wgContLang;
$request = $this->getRequest();
$prefix = $request->getVal( 'wpInterwikiPrefix' );
$do = $request->getVal( 'wpInterwikiAction' );
@ -192,8 +194,9 @@ class SpecialInterwiki extends SpecialPage {
$log->addEntry( 'iw_delete', $selfTitle, $reason, array( $prefix ) );
}
break;
case 'edit':
case 'add':
$prefix = $wgContLang->lc( $prefix );
case 'edit':
$theurl = $request->getVal( 'wpInterwikiURL' );
$local = $request->getCheck( 'wpInterwikiLocal' ) ? 1 : 0;
$trans = $request->getCheck( 'wpInterwikiTrans' ) ? 1 : 0;