Translations:Extension:VisualEditor/172/en

The page name will be appended directly to this value, so this needs to be set to something like '$1' excluding the trailing slash.