Translations:Extension:InputBox/59/en

It is used with parameter "$default", now not being a default, but the fixed value of the name of the page.