Assorted patches for MediaWiki