add external tools handbook page

diff --git a/docs/documentation/admin/pages.inc.php b/docs/documentation/admin/pages.inc.php
index 7ee538f..0ae74be 100644 (file)
--- a/docs/documentation/admin/pages.inc.php
+++ b/docs/documentation/admin/pages.inc.php
@@ -38,4 +38,5 @@
        $_pages['patcher.php']                       = 'Patcher';
        $_pages['create_patches.php']                = 'Create Patches';
        $_pages['troubleshooting.php']               = 'Troubleshooting';
+       $_pages['basiclti_external_tools.php']       = 'External Tools';
 ?>