d2cb4c037786d4e645dc8e4ccb9effa8dddef218
[atutor.git] / docs / mods / _core / tool_manager / module.php
1 <?php\r
2 if (!defined('AT_INCLUDE_PATH')) { exit; }\r
3 if (!isset($this) || (isset($this) && (strtolower(get_class($this)) != 'module'))) { exit(__FILE__ . ' is not a Module'); }\r
4 \r
5 //define('AT_PRIV_TOOLBAR', $this->getPrivilege());\r
6 \r
7 $this->_pages['mods/_core/tool_manager/index.php']['title_var'] = 'tool_manager'; \r
8 $this->_pages['mods/_core/tool_manager/index.php']['parent']    = 'tools/index.php';\r
9 \r
10 ?>