Add doclink for Diviner documentation

Summary: Fixes T7502.

Test Plan: Went to `/diviner/` and saw a link to the documentation at `/help/documentation/PhabricatorDivinerApplication/`.

Reviewers: #blessed_reviewers, epriestley

Reviewed By: #blessed_reviewers, epriestley

Subscribers: Korvin, epriestley

Maniphest Tasks: T7502

Differential Revision: https://secure.phabricator.com/D12094

src/applications/diviner/application/PhabricatorDivinerApplication.php

@@ -18,6 +18,15 @@ final class PhabricatorDivinerApplication extends PhabricatorApplication {
     return pht('Documentation');
   }
 
+  public function getHelpDocumentationArticles(PhabricatorUser $viewer) {
+    return array(
+      array(
+        'name' => pht('Diviner User Guide'),
+        'href' => PhabricatorEnv::getDoclink('Diviner User Guide'),
+      ),
+    );
+  }
+
   public function getTitleGlyph() {
     return "\xE2\x97\x89";
   }