Translations:MediaWiki-Vagrant/417/en

If it is not, go ahead and [$url submit a bug report] to Wikimedia Phabricator.