Add link to REST API documentation

Fixes #26097
mantisbt · Aug 29, 2019 · 16ab72c · 16ab72c
1 parent a78377e
commit 16ab72c
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/doc_dev_inc.php b/doc_dev_inc.php
@@ -26,6 +26,12 @@
                     Developer's Guide
                 </a>
             </li>
+            <li>
+                <i class="icon-cog"></i>
+                <a href="https://documenter.getpostman.com/view/29959/mantis-bug-tracker-rest-api/7Lt6zkP">
+                    REST API Reference
+                </a>
+            </li>
             <li>
                 <i class="icon-sitemap"></i>
                 <a href="<?php echo $g_docs_url, $g_docs_erd_path; ?>latest.pdf">