added get_permissions function shell to RequirePermissions.php