Merge "Remove $wgScriptExtension (deprecated and ignored since 1.25)"