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

Perform cheaper checks first

Browse source 
Change-Id: I54808896efdd302558f11b7d6ec6d01622657b92
This commit is contained in:
Siebrand Mazeland 2016-03-07 15:21:34 +01:00 committed by Hashar
parent ae1779b0e0
commit c935dff562
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Interwiki_body.php
View file

@ -232,7 +232,7 @@ class SpecialInterwiki extends SpecialPage {
// (Bug 30599).
global $wgLegalTitleChars;
$validPrefixChars = preg_replace( '/[ :&=]/', '', $wgLegalTitleChars );
if ( preg_match( "/\s|[^$validPrefixChars]/", $prefix ) && $do === 'add' ) {
if ( $do === 'add' && preg_match( "/\s|[^$validPrefixChars]/", $prefix ) ) {
$this->error( 'interwiki-badprefix', htmlspecialchars( $prefix ) );
$this->showForm( $do );
return;