dd32215a63ac5c6e08d82edbb132fc81bcbd5237
[atutor.git] / mods / phpdoc2 / module.php
1 <?php\r
2 /*******\r
3  * doesn't allow this file to be loaded with a browser.\r
4  */\r
5 if (!defined('AT_INCLUDE_PATH')) { exit; }\r
6 \r
7 /******\r
8  * this file must only be included within a Module obj\r
9  */\r
10 if (!isset($this) || (isset($this) && (strtolower(get_class($this)) != 'module'))) { exit(__FILE__ . ' is not a Module'); }\r
11 \r
12 /*******\r
13  * assign the instructor and admin privileges to the constants.\r
14  */\r
15 define('AT_PRIV_PHPDOC2',       $this->getPrivilege());\r
16 define('AT_ADMIN_PRIV_PHPDOC2', $this->getAdminPrivilege());\r
17 \r
18 /*******\r
19  * add the admin pages when needed.\r
20  */\r
21 if (admin_authenticate(AT_ADMIN_PRIV_PHPDOC2, TRUE) || admin_authenticate(AT_ADMIN_PRIV_ADMIN, TRUE)) {\r
22         $this->_pages[AT_NAV_ADMIN] = array('mods/phpdoc2/index_admin.php');\r
23         $this->_pages['mods/phpdoc2/index_admin.php']['title_var'] = 'phpdoc2';\r
24         $this->_pages['mods/phpdoc2/index_admin.php']['parent']    = AT_NAV_ADMIN;\r
25 \r
26         $this->_pages['mods/phpdoc2/api_install.php']['title_var'] = 'phpdoc2';\r
27         $this->_pages['mods/phpdoc2/api_install.php']['parent'] = 'mods/phpdoc2/index_admin.php';\r
28 }\r
29 ?>