wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-23 15:57:15 +00:00
Code Issues Packages Projects Releases Wiki Activity

Log if an edit attempt began from the sticky header

Browse source 
Bug: T298634
Depends-On: I871494b6e783018b1433f294e09b0d53dded6c3d
Change-Id: I07d3c91a63e78f091a1046ca49830e141f6ef8d4
This commit is contained in:
David Lynch 2022-06-15 02:13:36 -05:00
parent 1770eeaa5d
commit fd0841a899
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
includes/Hooks.php
View file

@ -272,6 +272,9 @@ class Hooks implements
$data['init_mechanism'] = 'url';
}
}
if ( $request->getRawVal( 'wvprov' ) === 'sticky-header' ) {
$data['init_mechanism'] .= '-sticky-header';
}
$this->doEventLogging( 'init', $article, $data );
}