get_userinfo() ersetzt.

und Code vereinfacht...

Change-Id: I5afb2667d8346ac1e82931fbf95fc50249e6e7b3
diff --git a/secure/explorationmaster.c b/secure/explorationmaster.c
index f8dba4b..8ca09d6 100644
--- a/secure/explorationmaster.c
+++ b/secure/explorationmaster.c
@@ -103,8 +103,7 @@
       || ({<int|string>})pldata->QueryProp(P_TESTPLAYER))
     return;
   // Wenn kein SPieler/Seher, sondern Magier: auch ueberspringen
-  mixed* uinfo = ({mixed*})master()->get_userinfo(pl);
-  if (uinfo[USER_LEVEL+1] >= LEARNER_LVL)
+  if (IS_LEARNER(pl))
     return;
 
   string eps=({string})master()->query_ep(pl) || "";