adding prod

alex

2025-08-12 a7332df80f8dce307d6b271d6e00641903f9066e

 php/globus-ilias-rest/api.php

@@ -185,7 +185,7 @@
function deleteUser($obj_id, $dry)
{
    $usr = ilObjectFactory::getInstanceByObjId($obj_id);
    $msg = "deleted user {$usr->firstname} {$usr->lastname} ({$obj_id})";
    $msg = "deleted user {$usr->firstname} {$usr->lastname} (usr_id={$obj_id}, login={$usr->login})";
    if ($dry == "0") {
        $usr->delete();
        return $msg;