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

Fix syntax error.

Browse source
This commit is contained in:
Siebrand Mazeland 2012-04-25 11:21:23 +00:00
parent d3cde3717b
commit d91662c7fe
Notes: Siebrand Mazeland 2012-04-25 11:21:23 +00:00 
https://mediawiki.org/wiki/Special:Code/MediaWiki/115048
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.php
View file

@ -54,7 +54,7 @@ $wgSpecialPages['Interwiki'] = 'SpecialInterwiki';
$wgSpecialPageGroups['Interwiki'] = 'wiki';
function setupInterwikiExtension() {
global $wgInterwikiViewOnly, $wgAvailableRights, $wgLogTypes, $wgLogActionsHandlers
global $wgInterwikiViewOnly, $wgAvailableRights, $wgLogTypes, $wgLogActionsHandlers;
if ( $wgInterwikiViewOnly === false ) {
// New user right, required to modify the interwiki table through Special:Interwiki