View file templates/admin_dev_menu.tpl

<a href="../dev/index.php" title="Modules">Modules</a> | <a href="../dev/add.php" title="Register module">Register module</a> | 
<a href="../dev/developer.php" title="Developers">Developers</a> | <a href="../dev/developer_add.php" title="Add top menu item">Add developer</a>