Jackmcbarn has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/159903

Change subject: Re-enable the Lua profiler on HHVM
......................................................................

Re-enable the Lua profiler on HHVM

Now that bug 68413 is fixed, there's no reason to keep it disabled.

Change-Id: Icaf0542bed679cf6f798c1e759e98f7163617e78
---
M wmf-config/CommonSettings.php
1 file changed, 0 insertions(+), 5 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/03/159903/1

diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php
index 3806a89..328f20f 100644
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -2484,11 +2484,6 @@
 
        $wgScribuntoDefaultEngine = 'luasandbox';
        $wgScribuntoEngineConf['luasandbox']['cpuLimit'] = 10;
-
-       if ( defined( 'HHVM_VERSION' ) ) {
-               // Disable Luasandbox's profiling feature to isolate bug 68413
-               $wgScribuntoEngineConf['luasandbox']['profilerPeriod'] = false;
-       }
 }
 
 if ( $wmgUseSubpageSortkey ) {

-- 
To view, visit https://gerrit.wikimedia.org/r/159903
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: Icaf0542bed679cf6f798c1e759e98f7163617e78
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jackmcbarn <jackmcb...@gmail.com>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to