Krinkle has uploaded a new change for review. https://gerrit.wikimedia.org/r/206503
Change subject: check-vars: Remove $wgRUstart (removed from MediaWiki) ...................................................................... check-vars: Remove $wgRUstart (removed from MediaWiki) See 4b619eb7b in mediawiki-core. Change-Id: I106d591cdaffbac8e61cca2298a0b60112fc4976 --- M check-vars.php 1 file changed, 0 insertions(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/tools/code-utils refs/changes/03/206503/1 diff --git a/check-vars.php b/check-vars.php index 5f98705..65e3532 100755 --- a/check-vars.php +++ b/check-vars.php @@ -236,7 +236,6 @@ '$wgQueryPages', # QueryPage.php '$wgRequest', # Setup.php '$wgRequestTime', # WebStart.php - '$wgRUstart', # WebStart.php, for Profiler stuff '$wgTitle', # index.php '$wgUpdates', # updaters '$wgUseEnotif', # Setup.php -- To view, visit https://gerrit.wikimedia.org/r/206503 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I106d591cdaffbac8e61cca2298a0b60112fc4976 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/tools/code-utils Gerrit-Branch: master Gerrit-Owner: Krinkle <krinklem...@gmail.com> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits