add the version require of PHP