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

Follow-up cc5ca3a2f6: now that we sample client-side, send all editingStatsIds to the client

Browse source 
If the server-generated editingStatsId was sampled out, we never sent
it to the client. This made this code confusing and difficult to test,
but it also caused a bug: the client-generated editingStatsId
(for when the user presses back) has no place to go in that case,
and gets dropped on the floor.

Bug: T95919
Change-Id: I05adb7116f1a8b91a9e54dfa70c745f12d7fbf3c
This commit is contained in:
Roan Kattouw 2015-05-01 16:06:15 -07:00
parent 5f88ce5f57
commit bfae89b9e0
1 changed files with 0 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
WikiEditor.hooks.php
View file

@ -261,10 +261,6 @@ class WikiEditorHooks {
if ( !$editingStatsId || !$req->wasPosted() ) {
$editingStatsId = self::getEditingStatsId();
}
// Sample 25% (via hex digit)
if ( $editingStatsId[0] > '3' ) {
return true;
}
$outputPage->addHTML(
Xml::element(