On Sep 28, 2017, at 9:24 AM, Yusuke Matsubara whym@whym.org wrote:
Good idea. I wrote a patch for that, https://gerrit.wikimedia.org/r/#/c/378250/
Thanks - it appears that it started to be deployed. (I saw it on ja.wiktionary.org, although the number of results was 0.)
The patch to Parsoid that actually does the linting hasn't been deployed yet. Only the patch to the MediaWiki Linter extension that collects the results has gone out.
Would the changed interpretation and the new lint page perhaps be worth mentioning in the Tech News?
Sure, we can do that, but hold off until this is fully functional. I will send an email to this list later today if / when the Parsoid deploy happens.
Thanks, Arlo