User als Admin identifizieren

[roli]

In welcher Datei wird ein user als admin identifiziert, resp. findet die DB abfrage statt?
Was ich machen möchte ist, ein gewisses Tool im rechten Menü nur dann anzeigen, wenn der User den Status des Admins hat. Ich fand im adminedituser.php ein script, das den userlevel überprüft und jenach level ein include macht. wo wird der level des users abgefragt?