Topic on MediaWiki talk:Gadget-Edittools.js

It is still showing * @revision 2012-02-29 and needs to be * @revision 2018-12-17

Thanks a lot.

 Done