wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-30 19:15:43 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-WikiEd.../includes
History
David Lynch 385903a3f0 PHP VisualEditorFeatureUse logging: properly record session id 
EditAttemptStep and VisualEditorFeatureUse have this one very annoying
inconsistency.

Bug: T281409
Depends-On: I96e07e10943d330efcf47e0a2989ea3b73bae428
Change-Id: I3bddd3096625466fc5b6c88b64a570a389b87a05
2021-05-12 19:46:36 +00:00
..
WikiEditorHooks.php PHP VisualEditorFeatureUse logging: properly record session id 2021-05-12 19:46:36 +00:00