$wgScriptExtension: Difference between revisions