Page MenuHomePhabricator

[Task] Rename Special:ExternalDbs to Special:ExternalDatabases
Closed, ResolvedPublic

Description

I suggest we rename Special:ExternalDbs to Special:ExternalDatabases, so not to have such abbreviations in the title. If we really want, we can have Special:ExternalDbs as a special page alias.

Event Timeline

aude raised the priority of this task from to Medium.
aude updated the task description. (Show Details)
aude added a subscriber: aude.

Change 302196 had a related patch set uploaded (by Addshore):
Rename Special:ExternalDbs to Special:ExternalDatabases

https://gerrit.wikimedia.org/r/302196

Addshore lowered the priority of this task from Medium to Low.
Addshore added a project: User-Addshore.
Addshore moved this task from Unsorted 💣 to Active 🚁 on the User-Addshore board.
Addshore added a subscriber: Addshore.

Change 302196 merged by jenkins-bot:
Rename Special:ExternalDbs to Special:ExternalDatabases

https://gerrit.wikimedia.org/r/302196

Addshore moved this task from Active 🚁 to Closing ✔️ on the User-Addshore board.