It certainly doesn't come up high on the priority list, but patches submitted against MediaWiki or extensions would likely get merged.
