<li> <a href="<?php echo path('documentation/general/'); ?> ">General</a> <?php documentation_list('general', 999); ?> </li> <li> <a href="<?php echo path('documentation/plugin/'); ?> ">Plugins</a> <?php documentation_list('plugin', 999); ?> </li> </ul> </li> <li> <a href="<?php echo path('tools/'); ?> ">Tools</a> <ul> <?php tools_sitemap(); ?> </ul>
<h1><?php echo documentation_type_name($type); ?> </h1> <?php documentation_list($type, 999);