registration: Actually set the merge strategy for $wgExtensionCredits
authorKunal Mehta <legoktm@gmail.com>
Sun, 2 Aug 2015 21:56:44 +0000 (14:56 -0700)
committerKunal Mehta <legoktm@gmail.com>
Sun, 2 Aug 2015 21:56:44 +0000 (14:56 -0700)
commit8cc0de98dd5e668e815d9901d28ba5bf94928bf6
treeb50cf1f8740b05c592d1fd04f30217d8465900ae
parente6b6aaa8a4d09e6ada5013137be02546682f77e8
registration: Actually set the merge strategy for $wgExtensionCredits

$wgExtensionCredits is special and needs to be set in the
ExtensionRegistry. Also change the cache key so any bad cache entries
will be ignored.

Follows up 1ebb0f5659667f.

Change-Id: Iec08ab8d9ef7fe7cccde979530839ef553779658
includes/registration/ExtensionProcessor.php
includes/registration/ExtensionRegistry.php