wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-09-24 10:50:17 +00:00
Code Issues Packages Projects Releases Wiki Activity

Perform 25% sampling on the client side as well

Browse source 
Needed because session IDs can be generated on the client
from the unload handler (when the back button is used).

Bug: T95919
Change-Id: Iac921bc36806205fc11ac76154ed8b3890f10d31
This commit is contained in:
Roan Kattouw 2015-04-28 14:55:54 -07:00
parent 7806fff4c4
commit cc5ca3a2f6
1 changed files with 7 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
modules/ext.wikiEditor.js
View file

@ -10,6 +10,13 @@
return;
}
// Sample 25% (via hex digit)
// We have to do this on the client too because the unload handler
// can cause an editingSessionId to be generated on the client
if ( editingSessionId.charAt( 0 ) > '3' ) {
return;
}
mw.loader.using( 'schema.Edit' ).done( function () {
data = $.extend( {
version: 1,