Merge "registration: Fix merging of $wgExtensionCredits"