Makefile-web: any PHP version will do.