Online PHP editor | output for 4HT2X

<?php class User { const STATE_BLOCKED = 0; const STATE_VALIDATED = 1; const STATE_NOT_VALIDATED = 2; public static $states = [ User::STATE_BLOCKED => 'Bloqueado', User::STATE_VALIDATED => 'Normal', User::STATE_NOT_VALIDATED => 'Pendiente de validación', ]; public function setState($state) { var_dump($state); var_dump(ctype_digit($state)); var_dump(array_key_exists($state, User::$states)); if (!ctype_digit($state) or !array_key_exists($state, User::$states)) { echo "bad state '$state'"; } echo 'ok'; } public function setUnvalidated() { $this->setState(User::STATE_NOT_VALIDATED); } } $u = new User(); $u->setUnvalidated();