wikimedia/mediawiki-extensions-Linter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter synced 2024-11-12 01:09:49 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Linter/modules
History
Kunal Mehta 9c65d786e2 Support new wikitext editor for edit helper 
Register a hook for when VE is finished initializing to select the error
section, just like the textbox-based editor.

Use the BeforePageDisplay hook so it runs on VE page loads too.

Bug: T160102
Change-Id: I59a7e0a3e8be32e4689cbf41c4904970902c4dff
2017-04-25 15:21:13 +01:00
..
ext.linter.edit.js Support new wikitext editor for edit helper 2017-04-25 15:21:13 +01:00