Mark Williamson wrote:
Hm, can't you do that with the MediaWiki:
namespace? And if not, is
that scheduled for a future version? And if not, is there a reason
(somebody changing namespaces would probably be worse than somebody
changing other interface text).
We only ever need to change the name of a namespace once for every
language. I agree that the current process to do this is tedious, but I
don't think it is worth any developer effort to change.