On 08/01/2011 07:15 PM, K. Peachey wrote:
"Member $wgExtensionAliasesFiles since 1.16 Use $specialPageAliases in a file referred to by $wgExtensionMessagesFiles" http://svn.wikimedia.org/doc/DefaultSettings_8php.html#aff2412416793a9bd3d88f881309b790f
I've updated http://www.mediawiki.org/wiki/Manual:$wgExtensionAliasesFiles accordingly ; please correct if I'm wrong.