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

Use ternary

Browse source 
Change-Id: Ia803f27c86453fa03f76025c0e6f65bbeb9007b7
This commit is contained in:
Siebrand Mazeland 2016-03-07 15:26:57 +01:00
parent d6bc4712b6
commit cb068cd10c
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

@ -44,7 +44,7 @@ class SpecialInterwiki extends SpecialPage {
$out->addModules( 'ext.interwiki.specialpage' ); $out->addModules( 'ext.interwiki.specialpage' );
$action = $par ? $par : $request->getVal( 'action', $par ); $action = $par ?: $request->getVal( 'action', $par );
$return = $this->getPageTitle(); $return = $this->getPageTitle();
switch ( $action ) { switch ( $action ) {