mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-14 19:31:55 +00:00
cb1c5d49aa
Adds a hidden field to the edit page form, with JS that will set its value. Server-side then checks for that value and logs whether it was correctly set. Bug: T263505 Change-Id: I8be06385aa6d97e5536cfc252d34297e1c000a32 |
||
---|---|---|
.. | ||
WikiEditorHooks.php |