From a1de3dc14810aae7a775bb61ce0d8cc7c49f05b7 Mon Sep 17 00:00:00 2001
From: Andreas Gohr <gohr@cosmocode.de>
Date: Tue, 14 Feb 2017 10:20:47 +0100
Subject: [PATCH] added type ints for other plugins

---
 main.php                       | 1 +
 tpl/nav-page-quality-tasks.php | 4 ++--
 tpl/nav-usertools-buttons.php  | 1 +
 3 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/main.php b/main.php
index 8eadf28..7be6aa7 100755
--- a/main.php
+++ b/main.php
@@ -239,6 +239,7 @@ $classWideContent = ($ACT === "show") ? "": "wide-content ";
 /* + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + */
 /* User Tools and MagicMatcher Bar */
 /* + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + */
+                            /** @var \helper_plugin_magicmatcher_context $mm */
                             $mm = plugin_load('helper', 'magicmatcher_context');
                             $navClass = "";
                             if($mm){
diff --git a/tpl/nav-page-quality-tasks.php b/tpl/nav-page-quality-tasks.php
index 377087e..2a1977c 100755
--- a/tpl/nav-page-quality-tasks.php
+++ b/tpl/nav-page-quality-tasks.php
@@ -3,9 +3,9 @@
 ?>
 
 <?php
-    /** @var \helper_plugin_qc $qc */
+    /** @var \helper_plugin_do $doPlugin */
     $doPlugin = plugin_load('helper','do');
-    
+
     /** @var \helper_plugin_qc $qc */
     $qc = plugin_load('helper','qc');
     if ($doPlugin !== null ||$qc ) {
diff --git a/tpl/nav-usertools-buttons.php b/tpl/nav-usertools-buttons.php
index 05400a7..54fdfb7 100755
--- a/tpl/nav-usertools-buttons.php
+++ b/tpl/nav-usertools-buttons.php
@@ -13,6 +13,7 @@
                                     }?>
 
                                     <?php /* tasks do Plug-In */
+                                    /** @var \helper_plugin_do $doplugin */
                                     $doplugin = plugin_load('helper','do');
                                     if ($doplugin !== null && isset($_SERVER['REMOTE_USER'])) {
                                         $tasks = $doplugin->loadTasks(array('status' => array('undone'),'user'   => $_SERVER['REMOTE_USER']));