jenkins-bot has submitted this change and it was merged. Change subject: Remove $wgTitle from WebStart forever ......................................................................
Remove $wgTitle from WebStart forever Change-Id: Icdd091f81547b76a403fc78f2e832ef3e85a67a2 --- M includes/WebStart.php 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Legoktm: Looks good to me, approved jenkins-bot: Verified diff --git a/includes/WebStart.php b/includes/WebStart.php index 2ae72dc..cb35ee5 100644 --- a/includes/WebStart.php +++ b/includes/WebStart.php @@ -6,7 +6,7 @@ * MW_NO_SETUP is defined. * * Setup.php (if loaded) then sets up GlobalFunctions, the AutoLoader, - * and the configuration globals (though not $wgTitle). + * and the configuration globals. * * This program is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by -- To view, visit https://gerrit.wikimedia.org/r/162143 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Icdd091f81547b76a403fc78f2e832ef3e85a67a2 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: Chad <[email protected]> Gerrit-Reviewer: Legoktm <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
