[16:00:12] <legoktm> I'm thinking that we should have a meta "mediawiki/extension-tooling" package that we can depend on for the random tools like minus-x, phpmnd, etc.
[16:00:49] <legoktm> and it'll come with a script to run everything

So, in future rather than adding a new "tool" to every library, we can add it in one place, and bump the library usage in the extensions, rather than bumping each tool individually