diff options
Diffstat (limited to 'public/app/extends')
| -rw-r--r-- | public/app/extends/App_manager.php (renamed from public/app/extends/Classroom_manager.php) | 2 | ||||
| -rw-r--r-- | public/app/extends/App_user.php (renamed from public/app/extends/Classroom_user.php) | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/public/app/extends/Classroom_manager.php b/public/app/extends/App_manager.php index ea2e891..8e6ce95 100644 --- a/public/app/extends/Classroom_manager.php +++ b/public/app/extends/App_manager.php @@ -13,7 +13,7 @@ use Registry; * according to this app's special rules * */ -class Classroom_manager extends UserManager +class App_manager extends UserManager { private $index_key = 'email'; // identifing user field (username, email, etc ) diff --git a/public/app/extends/Classroom_user.php b/public/app/extends/App_user.php index c27c4bf..9aed489 100644 --- a/public/app/extends/Classroom_user.php +++ b/public/app/extends/App_user.php @@ -21,7 +21,7 @@ use Registry; * So the content is available to the READER(s) that have certain Privileges * */ -class Classroom_user extends User +class App_user extends User { /** user id |