Giuseppe Lavagetto has uploaded a new change for review.

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

Change subject: HHVM: get 10% of anonymous traffic.
......................................................................

HHVM: get 10% of anonymous traffic.

Change-Id: I867b9437ebef98c536d3e06f79d2df49a27ac369
---
M wmf-config/CommonSettings.php
1 file changed, 1 insertion(+), 1 deletion(-)


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

diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php
index 667ea7c..7a49ace 100644
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -2656,7 +2656,7 @@
        // lowered without careful coordination with ops.
        $wgNavigationTimingSamplingFactor = 1000;
 
-       $wgPercentHHVM = 5;  // giuseppe, 13-Oct-2014
+       $wgPercentHHVM = 10;  // giuseppe, 30-Oct-2014
 }
 
 if ( $wmgUseUniversalLanguageSelector ) {

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: I867b9437ebef98c536d3e06f79d2df49a27ac369
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Giuseppe Lavagetto <[email protected]>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to