Scrutinizer GitHub App not installed

We could not synchronize checks via GitHub's checks API since Scrutinizer's GitHub App is not installed for this repository.

Install GitHub App

Failed Conditions
Pull Request — master (#1094)
by Dan
04:47
created
src/lib/Default/help.inc.php 1 patch
Braces   +13 added lines, -9 removed lines patch added patch discarded remove patch
@@ -90,18 +90,22 @@
 block discarded – undo
90 90
 
91 91
 		echo ('<tr>');
92 92
 		echo ('<td colspan="5">');
93
-		if (isset($previous_topic_id) && $previous_topic_id > 0)
94
-			echo ('<b>Previous:</b> <a href="/manual.php?' . $previous_topic_id . '">' . get_numbering($previous_topic_id) . $previous_topic . '</a>&nbsp;&nbsp;&nbsp;');
95
-		if (isset($up_topic_id) && $up_topic_id > 0)
96
-			echo ('<b>Up:</b> <a href="/manual.php?' . $up_topic_id . '">' . get_numbering($up_topic_id) . $up_topic . '</a>&nbsp;&nbsp;&nbsp;');
97
-		if (isset($next_topic_id) && $next_topic_id > 0)
98
-			echo ('<b>Next:</b> <a href="/manual.php?' . $next_topic_id . '">' . get_numbering($next_topic_id) . $next_topic . '</a>');
93
+		if (isset($previous_topic_id) && $previous_topic_id > 0) {
94
+					echo ('<b>Previous:</b> <a href="/manual.php?' . $previous_topic_id . '">' . get_numbering($previous_topic_id) . $previous_topic . '</a>&nbsp;&nbsp;&nbsp;');
95
+		}
96
+		if (isset($up_topic_id) && $up_topic_id > 0) {
97
+					echo ('<b>Up:</b> <a href="/manual.php?' . $up_topic_id . '">' . get_numbering($up_topic_id) . $up_topic . '</a>&nbsp;&nbsp;&nbsp;');
98
+		}
99
+		if (isset($next_topic_id) && $next_topic_id > 0) {
100
+					echo ('<b>Next:</b> <a href="/manual.php?' . $next_topic_id . '">' . get_numbering($next_topic_id) . $next_topic . '</a>');
101
+		}
99 102
 		echo ('</tr>');
100 103
 
101 104
 		echo ('</table>');
102
-	} else
103
-		echo ('Invalid Topic!');
104
-}
105
+	} else {
106
+			echo ('Invalid Topic!');
107
+	}
108
+	}
105 109
 
106 110
 function echo_content($topic_id) {
107 111
 	// database object
Please login to merge, or discard this patch.