jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/391987 )
Change subject: labs: Enable profiler based on same signals as production does
......................................................................
labs: Enable profiler based on same signals as production does
Bug: T180766
Change-Id: I8179ed9ed3c7f0bc0ee951d2055514e00467d6d8
---
M wmf-config/CommonSettings-labs.php
1 file changed, 8 insertions(+), 2 deletions(-)
Approvals:
Tim Starling: Looks good to me, but someone else must approve
Krinkle: Looks good to me, approved
jenkins-bot: Verified
diff --git a/wmf-config/CommonSettings-labs.php
b/wmf-config/CommonSettings-labs.php
index 5296b05..633e84d 100644
--- a/wmf-config/CommonSettings-labs.php
+++ b/wmf-config/CommonSettings-labs.php
@@ -18,8 +18,14 @@
#
if ( $wmfRealm == 'labs' ) { # safe guard
-// test wiki
-if ( $wgDBname == 'testwiki' ) {
+// Profiler (similar to wmf-config/profiler.php for production)
+// 1. Web request for https://test.wikimedia.beta.wmflabs.org/
+// 2. Web request with X-Wikimedia-Debug and ?forceprofile=1
+// 3. Maintenance script with --profiler=text
+if ( $wgDBname == 'testwiki'
+ || PHP_SAPI === 'cli'
+ || ( isset( $_GET['forceprofile'] ) && isset(
$_SERVER['HTTP_X_WIKIMEDIA_DEBUG'] ) )
+) {
$wgProfiler = [
'class' => 'ProfilerXhprof',
'output' => 'text',
--
To view, visit https://gerrit.wikimedia.org/r/391987
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I8179ed9ed3c7f0bc0ee951d2055514e00467d6d8
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Krinkle <krinklem...@gmail.com>
Gerrit-Reviewer: Chad <ch...@wikimedia.org>
Gerrit-Reviewer: Krinkle <krinklem...@gmail.com>
Gerrit-Reviewer: Reedy <re...@wikimedia.org>
Gerrit-Reviewer: Tim Starling <tstarl...@wikimedia.org>
Gerrit-Reviewer: Urbanecm <martin.urba...@wikimedia.cz>
Gerrit-Reviewer: Zoranzoki21 <zorandori4...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
