Translations:Extension:FlaggedRevs/72/en

Look at the beginning of includes/defines.php to see what integer the default namespaces map to and use the defined constants for readability.