Attempt to fix another php version diff warning