1 <? $title ='Documentation'; include('elements/header.php'); ?>
2 <? $current_menu = 'docs.php'; include('elements/menu.php'); ?>
3 A wide range of technical and learning resources
4 <BR><BR>(What, if anything does the portal need to do to support this? Offer in the back-office a place to edit links that go in this section? A more comprehensive documentation-management solution with articles, categories, etc.?)
5 <? include('elements/menu_footer.php'); ?>
6 <? include('elements/footer.php'); ?>