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

Document global added in r115044.

Browse source
This commit is contained in:
Siebrand Mazeland 2012-04-25 10:45:17 +00:00
parent 94e3d449dd
commit b7f211a71f
Notes: Siebrand Mazeland 2012-04-25 10:45:17 +00:00 
https://mediawiki.org/wiki/Special:Code/MediaWiki/115045
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
Interwiki.php
View file

@ -21,6 +21,9 @@ if ( !defined( 'MEDIAWIKI' ) ) {
die( "This is not a valid entry point.\n" );
}
// Set this value to true in LocalSettings.php if you will not use this
// extension to actually change any interwiki table entries. It will suppress
// the addition of a log for interwiki link changes.
$wgInterwikiViewOnly = false;
// Extension credits for Special:Version