Do not include mediawiki stuff in PHP51