From 16ab72cf63b64c4dd1709f7a654a9d18be70bd0f Mon Sep 17 00:00:00 2001
From: Damien Regad <dregad@mantisbt.org>
Date: Thu, 29 Aug 2019 12:00:41 +0200
Subject: [PATCH] Add link to REST API documentation

Fixes #26097
---
 doc_dev_inc.php | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/doc_dev_inc.php b/doc_dev_inc.php
index ee3cecb..f2d7922 100644
--- 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">