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

Reply via email to