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

Completed
Branch master (287493)
by Dan
06:08
created
htdocs/error.php 1 patch
Spacing   +1 added lines, -1 removed lines patch added patch discarded remove patch
@@ -27,7 +27,7 @@
 block discarded – undo
27 27
 
28 28
 							<h1>ERROR</h1>
29 29
 
30
-							<p><b><big><?php echo (addslashes(htmlentities($_REQUEST['msg'], ENT_NOQUOTES,'utf-8'))); ?>
30
+							<p><b><big><?php echo (addslashes(htmlentities($_REQUEST['msg'], ENT_NOQUOTES, 'utf-8'))); ?>
31 31
 							</big></b></p>
32 32
 							<br /><br /><br />
33 33
 							<p><small>If the error was caused by something you entered, press back and try again.</small></p>
Please login to merge, or discard this patch.
htdocs/loader.php 1 patch
Spacing   +11 added lines, -11 removed lines patch added patch discarded remove patch
@@ -31,12 +31,12 @@  discard block
 block discarded – undo
31 31
 	// ********************************
32 32
 	
33 33
 	// We want these to be already defined as globals
34
-	$player=null;
35
-	$ship=null;
36
-	$sector=null;
37
-	$container=null;
38
-	$var=null;
39
-	$lock=false;
34
+	$player = null;
35
+	$ship = null;
36
+	$sector = null;
37
+	$container = null;
38
+	$var = null;
39
+	$lock = false;
40 40
 
41 41
 	// new db object
42 42
 	$db = new SmrMySqlDatabase();
@@ -65,7 +65,7 @@  discard block
 block discarded – undo
65 65
 
66 66
 	// check if we got a sn number with our url
67 67
 	if (empty($sn)) {
68
-		if(!USING_AJAX) {
68
+		if (!USING_AJAX) {
69 69
 			require_once(get_file_loc('smr.inc'));
70 70
 			create_error('Your browser lost the SN. Try to reload the page!');
71 71
 		}
@@ -75,7 +75,7 @@  discard block
 block discarded – undo
75 75
 	
76 76
 	// do we have such a container object in the db?
77 77
 	if (!($var = SmrSession::retrieveVar($sn))) {
78
-		if(!USING_AJAX) {
78
+		if (!USING_AJAX) {
79 79
 			require_once(get_file_loc('smr.inc'));
80 80
 			create_error('Please avoid using the back button!');
81 81
 		}
@@ -90,13 +90,13 @@  discard block
 block discarded – undo
90 90
 	$overrideGameID = 0;
91 91
 	if (isset($var['game_id']) && is_numeric($var['game_id'])) $overrideGameID = $var['game_id'];
92 92
 	if ($overrideGameID == 0 && isset($var['GameID']) && is_numeric($var['GameID'])) $overrideGameID = $var['GameID'];
93
-	if($overrideGameID == 0) $overrideGameID = SmrSession::getGameID();
93
+	if ($overrideGameID == 0) $overrideGameID = SmrSession::getGameID();
94 94
 
95 95
 	require_once(get_file_loc('smr.inc'));
96 96
 
97 97
 	$account = SmrAccount::getAccount(SmrSession::$account_id);
98 98
 	// get reason for disabled user
99
-	if(($disabled = $account->isDisabled())!==false) {
99
+	if (($disabled = $account->isDisabled()) !== false) {
100 100
 		// save session (incase we forward)
101 101
 		SmrSession::update();
102 102
 		if ($disabled['Reason'] == CLOSE_ACCOUNT_INVALID_EMAIL_REASON) {
@@ -122,6 +122,6 @@  discard block
 block discarded – undo
122 122
 	
123 123
 	do_voodoo();
124 124
 }
125
-catch(Throwable $e) {
125
+catch (Throwable $e) {
126 126
 	handleException($e);
127 127
 }
Please login to merge, or discard this patch.
tools/discord/commands/game.php 1 patch
Spacing   +2 added lines, -2 removed lines patch added patch discarded remove patch
@@ -1,11 +1,11 @@
 block discarded – undo
1 1
 <?php
2 2
 
3
-$fn_game = function ($message) {
3
+$fn_game = function($message) {
4 4
 	$link = new GameLink($message->channel, $message->author);
5 5
 	if (!$link->valid) return;
6 6
 
7 7
 	$game = SmrGame::getGame($link->player->getGameID(), true);
8
-	$msg = "I am linked to game `".$game->getDisplayName()."` in this channel.";
8
+	$msg = "I am linked to game `" . $game->getDisplayName() . "` in this channel.";
9 9
 
10 10
 	$message->channel->sendMessage($msg);
11 11
 };
Please login to merge, or discard this patch.
tools/discord/commands/seed.php 1 patch
Spacing   +1 added lines, -1 removed lines patch added patch discarded remove patch
@@ -2,7 +2,7 @@
 block discarded – undo
2 2
 
3 3
 require_once(TOOLS . 'chat_helpers/channel_msg_seed.php');
4 4
 
5
-$fn_seed = function ($message) {
5
+$fn_seed = function($message) {
6 6
 	$link = new GameLink($message->channel, $message->author);
7 7
 	if (!$link->valid) return;
8 8
 
Please login to merge, or discard this patch.
tools/discord/commands/forces.php 1 patch
Spacing   +1 added lines, -1 removed lines patch added patch discarded remove patch
@@ -2,7 +2,7 @@
 block discarded – undo
2 2
 
3 3
 require_once(TOOLS . 'chat_helpers/channel_msg_forces.php');
4 4
 
5
-$fn_forces = function ($message, $params) {
5
+$fn_forces = function($message, $params) {
6 6
 	$link = new GameLink($message->channel, $message->author);
7 7
 	if (!$link->valid) return;
8 8
 
Please login to merge, or discard this patch.
tools/discord/commands/op.php 1 patch
Spacing   +3 added lines, -3 removed lines patch added patch discarded remove patch
@@ -4,7 +4,7 @@  discard block
 block discarded – undo
4 4
 require_once(TOOLS . 'chat_helpers/channel_msg_op_list.php');
5 5
 require_once(TOOLS . 'chat_helpers/channel_msg_op_turns.php');
6 6
 
7
-$fn_op = function ($message) {
7
+$fn_op = function($message) {
8 8
 	$link = new GameLink($message->channel, $message->author);
9 9
 	if (!$link->valid) return;
10 10
 	$player = $link->player;
@@ -14,7 +14,7 @@  discard block
 block discarded – undo
14 14
 	$message->channel->sendMessage(join(EOL, $results));
15 15
 };
16 16
 
17
-$fn_op_list = function ($message) {
17
+$fn_op_list = function($message) {
18 18
 	$link = new GameLink($message->channel, $message->author);
19 19
 	if (!$link->valid) return;
20 20
 	$player = $link->player;
@@ -24,7 +24,7 @@  discard block
 block discarded – undo
24 24
 	$message->channel->sendMessage(join(EOL, $results));
25 25
 };
26 26
 
27
-$fn_op_turns = function ($message) {
27
+$fn_op_turns = function($message) {
28 28
 	$link = new GameLink($message->channel, $message->author);
29 29
 	if (!$link->valid) return;
30 30
 	$player = $link->player;
Please login to merge, or discard this patch.
tools/discord/commands/seedlist.php 1 patch
Spacing   +3 added lines, -3 removed lines patch added patch discarded remove patch
@@ -2,7 +2,7 @@  discard block
 block discarded – undo
2 2
 
3 3
 require_once(TOOLS . 'chat_helpers/channel_msg_seedlist.php');
4 4
 
5
-$fn_seedlist = function ($message) {
5
+$fn_seedlist = function($message) {
6 6
 	$link = new GameLink($message->channel, $message->author);
7 7
 	if (!$link->valid) return;
8 8
 
@@ -11,7 +11,7 @@  discard block
 block discarded – undo
11 11
 	$message->channel->sendMessage(join(EOL, $results));
12 12
 };
13 13
 
14
-$fn_seedlist_add = function ($message, $sectors) {
14
+$fn_seedlist_add = function($message, $sectors) {
15 15
 	$link = new GameLink($message->channel, $message->author);
16 16
 	if (!$link->valid) return;
17 17
 
@@ -20,7 +20,7 @@  discard block
 block discarded – undo
20 20
 	$message->channel->sendMessage(join(EOL, $results));
21 21
 };
22 22
 
23
-$fn_seedlist_del = function ($message, $sectors) {
23
+$fn_seedlist_del = function($message, $sectors) {
24 24
 	$link = new GameLink($message->channel, $message->author);
25 25
 	if (!$link->valid) return;
26 26
 
Please login to merge, or discard this patch.
tools/discord/commands/turns.php 1 patch
Spacing   +2 added lines, -2 removed lines patch added patch discarded remove patch
@@ -15,7 +15,7 @@  discard block
 block discarded – undo
15 15
 	return $msg;
16 16
 }
17 17
 
18
-$fn_turns = function ($message) {
18
+$fn_turns = function($message) {
19 19
 	$link = new GameLink($message->channel, $message->author);
20 20
 	if (!$link->valid) return;
21 21
 
@@ -23,7 +23,7 @@  discard block
 block discarded – undo
23 23
 	$message->channel->sendMessage($msg);
24 24
 };
25 25
 
26
-$fn_turns_all = function ($message) {
26
+$fn_turns_all = function($message) {
27 27
 	$link = new GameLink($message->channel, $message->author);
28 28
 	if (!$link->valid) return;
29 29
 	$player = $link->player;
Please login to merge, or discard this patch.
tools/discord/commands/invite.php 1 patch
Spacing   +1 added lines, -1 removed lines patch added patch discarded remove patch
@@ -1,6 +1,6 @@
 block discarded – undo
1 1
 <?php
2 2
 
3
-$fn_invite = function ($message) use ($discord) {
3
+$fn_invite = function($message) use ($discord) {
4 4
 	$msg = "$discord->username can be invited to join your server! Just click this link and select your server:\n<https://discordapp.com/oauth2/authorize?&client_id=$discord->id&scope=bot&permissions=0>\n\nNOTE: you must have manager permissions to perform this action.";
5 5
 	$message->channel->sendMessage($msg);
6 6
 };
Please login to merge, or discard this patch.