gerrit.morgengrauen.info / mudlib-public / f1137e8269a812cffabbec555c6c819b081bd408 / doc / master / query_player_level