Quick search:

UserRole
IndexPage
SecurityManager
User
UserEditDetailsPage
UserGroup
UserRole

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

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

/** 
* @package admin
*/
class UserRole extends PntxUserRole {