https://www.mediawiki.org/wiki/OOjs_UI <- convert ALL the widgets!