MediaWiki interface page

Override any errors about the page having been deleted in the meantime.