wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-12-17 18:40:45 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Log if an edit attempt began from the sticky header"

Browse source
This commit is contained in:
jenkins-bot 2022-06-16 18:01:23 +00:00 committed by Gerrit Code Review
parent 1038ab99f6 fd0841a899
commit 07402fc0a6
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 );
}