Code Editor : check_user_privileges.lib.php