MediaWiki edit toolbar June 13, 2026 by jlamprecht https://commons.wikimedia.org/wiki/MediaWiki_edit_toolbar
