Re: [Wikitech-l] Requiring PHP >= 5.3.3 for MediaWiki core