Ori.livneh has uploaded a new change for review.

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

Change subject: Update schema revision to 10076863, adding 'runtime'
......................................................................

Update schema revision to 10076863, adding 'runtime'

Update schema revision to 10076863, adding 'runtime' property, which tracks
whether the backend used to generate the page was PHP5 or HHVM.

Change-Id: I85a7327db2ca7749b77c9819ea45d337168bb62a
---
M NavigationTiming.php
M modules/ext.navigationTiming.js
2 files changed, 3 insertions(+), 2 deletions(-)


  git pull 
ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/NavigationTiming 
refs/changes/82/164382/1

diff --git a/NavigationTiming.php b/NavigationTiming.php
index b08b5e5..9fc1027 100644
--- a/NavigationTiming.php
+++ b/NavigationTiming.php
@@ -42,7 +42,7 @@
        )
 );
 
-$wgEventLoggingSchemas[ 'NavigationTiming' ] = 8477778;
+$wgEventLoggingSchemas[ 'NavigationTiming' ] = 10076863;
 
 $wgHooks[ 'BeforePageDisplay' ][] = function ( &$out, &$skin ) {
        $out->addModules( 'ext.navigationTiming' );
diff --git a/modules/ext.navigationTiming.js b/modules/ext.navigationTiming.js
index 465b201..cb45768 100644
--- a/modules/ext.navigationTiming.js
+++ b/modules/ext.navigationTiming.js
@@ -103,7 +103,8 @@
                                pageId: mw.config.get( 'wgArticleId' ),
                                namespaceId: mw.config.get( 'wgNamespaceNumber' 
),
                                revId: mw.config.get( 'wgCurRevisionId' ),
-                               action: mw.config.get( 'wgAction' ) // view, 
submit, etc.
+                               action: mw.config.get( 'wgAction' ), // view, 
submit, etc.
+                               runtime: mw.config.get( 'wgPoweredByHHVM' ) ? 
'HHVM' : 'PHP5'
                        },
                        isSpecialPage = !!mw.config.get( 
'wgCanonicalSpecialPageName' ),
                        mobileMode = mw.config.get( 'wgMFMode' );

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: I85a7327db2ca7749b77c9819ea45d337168bb62a
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/NavigationTiming
Gerrit-Branch: wmf/1.25wmf1
Gerrit-Owner: Ori.livneh <[email protected]>

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

Reply via email to