docs: public String[] getUserPermissionList(String userName) {
          if (!m_enabled) {
              return m_perm_list;
          }
          if (userName == null) {
              return new String[] {};
          }
          AuthUser user = getUser(userName);
          if (user == null) {
              return new String[] {};
          }
          return user.m_permissions_list;
      }