MediaWiki:QuickTools/dev.js

//