Ori.livneh has uploaded a new change for review.
https://gerrit.wikimedia.org/r/164380
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/80/164380/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/164380
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: master
Gerrit-Owner: Ori.livneh <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
