Domas has posted to wikitech-l that all WMF MySQL servers are now on 5.1. I understand MediaWiki continues to support 4.0 onward. Will the minimum version be raised as the main customer gets more heavily into 5.1? (I have no objection whatsoever to requiring a later MySQL, just asking about future plans.) - d.