I am experiencing this problem on 1.5.6. This may be fixed in more recent
versions, but currently I have no way of testing.
Here is an example array containing the details about a custom extension:
$wgExtensionCredits['other'][] = array(
'author' => 'Author', 'url' => 'http://www.extensionaddress.co.uk/wiki/DB tools'
);
When viewing Special:Version, the name of the extension is listed as "''tools''
Database tools" instead of just "Database tools".
If you change the URL to read 'http://www.extensionaddress.co.uk/wiki/DB' then
this problem does not exist.
For some inexplicable reason, if the URL ends in 'tools' then MediaWiki decides
to add the word 'tools' to the beginning of the extension name.
Expected behaviour: The extension name is the name defined in the array!
Version: 1.5.x
Severity: normal