[3.8] Fix php detection