<?php
$rol_usuario = "desarrollador";
if (!($rol_usuario === "administrador" OR $rol_usuario === "desarrollador")) {
echo "Usuario normal";
}
PD9waHAKCgkkcm9sX3VzdWFyaW8gPSAiZGVzYXJyb2xsYWRvciI7CgkKCWlmICghKCRyb2xfdXN1YXJpbyA9PT0gImFkbWluaXN0cmFkb3IiIE9SICRyb2xfdXN1YXJpbyA9PT0gImRlc2Fycm9sbGFkb3IiKSkgewoJCWVjaG8gIlVzdWFyaW8gbm9ybWFsIjsKCX0=