The best way to do this is to file the patch at MediaWiki's bugtracking system GitHub. Thank you for working on this! Cheers
[[kgh]] (talk)
