updated with PHP version