Last modified: 2013-10-19 12:06:51 UTC
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.
(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...
(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.
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.
Change 90645 had a related patch set uploaded by Bartosz Dziewoński: Rename Toolbox to Tools https://gerrit.wikimedia.org/r/90645
Change 90645 merged by jenkins-bot: Rename Toolbox to Tools https://gerrit.wikimedia.org/r/90645
