[Added URL, changed importance/severity to Low/Enhancement since we're waiting for the discussion to actually take place.]
I suggest we give the it.wikivoyage community around two weeks to discuss the issue, and if they decide to remove the extension, we'll take it from there.
Comment 5 and 6 are patches. Once they have been merged into the codebase they will be available. FYI, for MediaWiki software changes the deployment schedule is available at https://www.mediawiki.org/wiki/MediaWiki_1.22/Roadmap .
According to the link posted by Andre, the next deploy should occur on Monday, June 17, 2013. It's correct or I have misunderstood that page?
Sorry for bugging, it's just for my knowledge :-)
No, it doesn't work that way — the extension will be turned off when this patch gets merged onto the live git repository, which might come in a few hours' or a few days' time depending on the availability of Wikimedia Foundation developers :-)
Haha, there's no need to do that :-) The bot will automatically post a comment to this bug when the change is merged, so we'll immediately know when the extension is turned off.
Thanks for the offer though :-)
Tomasz, I'm trusting you that why I'm asking ;-)
My doubt has arisen because you said " might come in a few hours' or a
few days'" and now we are going in the range of "few weeks'", but it's ok.
I'll go in the "keep calm and carry on" mode ;-)))