Translations:Extension:DiscussionTools/23/en

Also, $1 is required if you want to use the topic subscriptions feature.