[11.x] Fix the edge case of .php
extension chopping in make commands
#6718
This job succeeded
Loading
.php
extension chopping in make commands
#6718