Rename Toolbox to Tools
Closed, ResolvedPublic

Description

Author: swalling

Description:
The sidebar section currently known as "Toolbox" (https://www.mediawiki.org/wiki/Help:Navigation#Toolbox) is an essential part of many MediaWiki installations, including Wikimedia sites. However, the name "Toolbox" itself is strangely anachronistic. Other functions in the sidebar, such languages and navigation use very simple, functional names. I'd like to see us simply call the section "Tools".

Normally with sidebar naming I would just recommend people use a piped name to change the section title, but because of the way the Toolbox is generated, I *think* this needs to be done programmatically.


Version: unspecified
Severity: enhancement

bzimport set Reference to bz54910.
bzimport created this task.Via LegacyOct 3 2013, 4:38 AM
Peachey88 added a comment.Via ConduitOct 3 2013, 4:44 AM

(In reply to comment #0)

Normally with sidebar naming I would just recommend people use a piped name
to
change the section title, but because of the way the Toolbox is generated, I
*think* this needs to be done programmatically.

There will be a i18n for it...

bzimport added a comment.Via ConduitOct 3 2013, 4:47 AM

swalling wrote:

(In reply to comment #1)

(In reply to comment #0)
> Normally with sidebar naming I would just recommend people use a piped name
> to
> change the section title, but because of the way the Toolbox is generated, I
> *think* this needs to be done programmatically.

There will be a i18n for it...

Yes, the message is just MediaWiki:Toolbox. I'd kind of prefer to see it changed in core though for all, not just overwrite the message on my home wikis or something.

matmarex added a comment.Via ConduitOct 3 2013, 11:34 PM

I've looked through a few translations in languages I can understand at least a little bit. Almost all used a single word with meaning equivalent to simply "Tools"; several used "Box of tools" (most languages aren't as flexible as English with word formation), which looks rather awkward (notably French).

I'm definitely supporting "Tools", but "Utilities" might be worth considering as well. I'm not sure if it's not too wordy, though.

gerritbot added a comment.Via ConduitOct 18 2013, 8:28 PM

Change 90645 had a related patch set uploaded by Bartosz Dziewoński:
Rename Toolbox to Tools

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

gerritbot added a comment.Via ConduitOct 19 2013, 12:04 PM

Change 90645 merged by jenkins-bot:
Rename Toolbox to Tools

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

Add Comment