wikimedia/mediawiki-extensions-Interwiki
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Interwiki synced 2024-11-28 08:10:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

(Bug 30599) Filter problematic prefix characters

Browse source 
Change-Id: Icf0058407c51a314583907a54257cb10fa4826e5
This commit is contained in:
Amir E. Aharoni 2012-08-01 21:47:16 +03:00
parent 116b695dbd
commit bbc4c629b2
1 changed files with 6 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
Interwiki_body.php
View file

@ -189,8 +189,12 @@ class SpecialInterwiki extends SpecialPage {
$prefix = $request->getVal( 'wpInterwikiPrefix' ); $prefix = $request->getVal( 'wpInterwikiPrefix' );
$do = $request->getVal( 'wpInterwikiAction' ); $do = $request->getVal( 'wpInterwikiAction' );
// Show an error if the prefix is invalid (only when adding one). // Show an error if the prefix is invalid (only when adding one).
// Invalid characters are ':', '&', '=' and whitespace. // Invalid characters for a title should also be invalid for a prefix.
if ( preg_match( '/[\s:&=]/', $prefix ) && $do === 'add' ) { // Whitespace, ':', '&' and '=' are invalid, too.
// (Bug 30599).
global $wgLegalTitleChars;
$validPrefixChars = preg_replace( '/[ :&=]/', '', $wgLegalTitleChars );
if ( preg_match( "/\s|[^$validPrefixChars]/", $prefix ) && $do === 'add' ) {
$this->error( 'interwiki-badprefix', htmlspecialchars( $prefix ) ); $this->error( 'interwiki-badprefix', htmlspecialchars( $prefix ) );
$this->showForm( $do ); $this->showForm( $do );
return; return;