[Mediawiki-l] Bump of minimum required PHP version to 5.3 for MediaWiki 1.20