Warning: require_once(../inc/random_compat/random.inc): Failed to open stream: No such file or directory in /projects/boinc/ralph/html/inc/util_basic.inc on line 22

Fatal error: Uncaught Error: Failed opening required '../inc/random_compat/random.inc' (include_path='.:/usr/share/php') in /projects/boinc/ralph/html/inc/util_basic.inc:22 Stack trace: #0 /projects/boinc/ralph/html/inc/util.inc(27): require_once() #1 /projects/boinc/ralph/html/user/team_members.php(19): require_once('...') #2 {main} thrown in /projects/boinc/ralph/html/inc/util_basic.inc on line 22