Demon has submitted this change and it was merged. Change subject: $wgServerName doesn't exist anymore ......................................................................
$wgServerName doesn't exist anymore This is a followup to I944938f9. I had kind of forgotten that we removed $wgServerName. Change-Id: I846cba6853f1a3a09f4e2d362960fea5f60bfcc3 --- M engines/LuaCommon/SiteLibrary.php M engines/LuaCommon/lualib/mw.site.lua 2 files changed, 0 insertions(+), 2 deletions(-) Approvals: Demon: Verified; Looks good to me, approved jenkins-bot: Checked -- To view, visit https://gerrit.wikimedia.org/r/47739 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I846cba6853f1a3a09f4e2d362960fea5f60bfcc3 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Scribunto Gerrit-Branch: master Gerrit-Owner: Demon <ch...@wikimedia.org> Gerrit-Reviewer: Demon <ch...@wikimedia.org> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
