Update permission_manager.class.php