On Sep 28, 2017, at 9:24 AM, Yusuke Matsubara
<whym(a)whym.org> wrote:
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