Summary:Support/HTML in MediaWiki:Mobile-frontend-page-menu-history