Spaceship operator substitution class for php