[00:27:15] <revi>	 self-answer to Q yesterday (06:55:41 <revi> quick quick Q: is there any kind of gadget or personal JS stuff to make using w.wiki url shortner easier?)
[00:27:17] <revi>	 there is
[00:27:43] <revi>	 https://fr.wikipedia.org/wiki/MediaWiki:Gadget-ShortenUrl.js