* (bug 7545) Fix PHP version check on install