Code Editor : check_user_privileges.inc.php