Server: use PHP version compare