Translations:OOUI/11/en


 * a PHP server-side compatible output for cases where JavaScript is not supported,