Thanks for flagging an issue. Please notice that https://www.mediawiki.org/w/index.php?title=How_to_report_a_bug&diff=0&oldid=2166533 is not the right place where to actually report a bug. I'd recommend you reach the creators or maintainers of that particular tool for chances of getting an answer. I'm reverting your edit simply because it doesn't belong there, but thought to provide the diff so that you can easily copy/paste it elsewhere. Good luck!