Jackmcbarn has uploaded a new change for review.
https://gerrit.wikimedia.org/r/161468
Change subject: Re-enable the Lua profiler on production HHVM
......................................................................
Re-enable the Lua profiler on production HHVM
It's been back on in beta for over a week with no problems (at least that
I know of), and now that we're advertising HHVM as a beta feature to
end-users, we should probably get it as close to full-featured as we can.
Change-Id: I199892384d5f6f2afd50a399468f610cb7704901
---
M wmf-config/CommonSettings.php
1 file changed, 0 insertions(+), 5 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config
refs/changes/68/161468/1
diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php
index 23218f0..dc31938 100644
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -2486,11 +2486,6 @@
$wgScribuntoDefaultEngine = 'luasandbox';
$wgScribuntoEngineConf['luasandbox']['cpuLimit'] = 10;
-
- if ( defined( 'HHVM_VERSION' ) && $wmfRealm !== 'labs' ) {
- // Disable Luasandbox's profiling feature to isolate bug 68413
- $wgScribuntoEngineConf['luasandbox']['profilerPeriod'] = false;
- }
}
if ( $wmgUseSubpageSortkey ) {
--
To view, visit https://gerrit.wikimedia.org/r/161468
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I199892384d5f6f2afd50a399468f610cb7704901
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
