Add $wgServerName
authorOri Livneh <ori@wikimedia.org>
Tue, 6 May 2014 09:31:24 +0000 (02:31 -0700)
committerTimo Tijhof <krinklemail@gmail.com>
Fri, 9 May 2014 09:53:56 +0000 (11:53 +0200)
commit72c0ce43a854d5cd5601d1d19423518065ce33ff
tree4fedc21a60eb0fc763e2b531cb6d69a2794b1bb5
parent678b4d55472bf7e6ffb3dd701c2c3daa3ca784ee
Add $wgServerName

This partially reverts r73950 which removed $wgServerName on the ground that it
was only used for {{SERVERNAME}}. When it was pointed out that $wgServerName was
also used by several extensions, the response was not to restore the variable, but
to proceed to remove it from extensions as well.

It is a useful variable to have, as the discussion on Id819246a9 makes clear
(see Tim's comment on PS12 and Timo's reply). So let's reintroduce it, and expose
it in mw.config and ApiQuerySiteInfo as well.

Change-Id: I40a6fd427d38c64c628f70a2f407b145443ea204
RELEASE-NOTES-1.24
includes/DefaultSettings.php
includes/Setup.php
includes/api/ApiQuerySiteinfo.php
includes/parser/Parser.php
includes/resourceloader/ResourceLoaderStartUpModule.php
tests/parser/parserTest.inc
tests/phpunit/includes/parser/NewParserTest.php