Re: [Wikitech-l] Bump of minimum required PHP version to 5.3 for MediaWiki 1.20