Quick search:

IndexPage
SecurityManager
User
UserEditDetailsPage
UserGroup
UserRole
ser

<?php
// Copyright (c) MetaClass, 2003-2008
// Licensed under the Academic Free License version 3.0

includeClass('PntxUser', 'pntx/auth/admin');

/** 
* @package admin
*/
class User extends PntxUser {