Translations:Extension:Display Title/38/en

You could then use $1 on a page to set the page's display title to $2, and you could use $3 to get the display title of page $4.