è una funzione per fare un login, controlla se nel file users è presente $user, e la password sia quella corretta, poi crea un array chiamato $ar e dentro butta in sequenza user_name, password, level e id. l'operatore @ serve a silenziare eventuali Notice o Warning da parte di PHP. Nel tuo caso potrebbero verificarsi dei Notice se le variabili $rec['user_name'] o $ar siano vuote.