[Pkg-mediawiki-devel] Bug#383680: Editing MediaWiki:Addsection doesn't seem to work

[Graham]

Package: mediawiki1.7
Version: 1.7.1-1

I've skinned my MediaWiki installation. As a result, the "views" are
shown in a drop-down list. Since it looks silly to have a choice with
simply a plus sign as its caption, I would like to modify
MediaWiki:Addsection to say "Add section".

I can do this, but then Special:Allmessages still shows "addsection" =
"+", and the "add section" link is still titled "+".

Any idea why my change to MediaWiki:Addsection is being ignored?

Thanks

-- graham