GitHub Access Token became invalid

It seems like the GitHub access token used for retrieving details about this repository from GitHub became invalid. This might prevent certain types of inspections from being run (in particular, everything related to pull requests).
Please ask an admin of your repository to re-new the access token on this website.
Completed
Branch master (69a36c)
by Marco
02:57
created
contrib/ipImap/report/calendar/classes/tc_calendar.php 1 patch
Indentation   +7 added lines, -7 removed lines patch added patch discarded remove patch
@@ -117,17 +117,17 @@
 block discarded – undo
117 117
 
118 118
 	//check for leapyear
119 119
 	function is_leapyear($year){
120
-    	return ($year % 4 == 0) ?
121
-    		!($year % 100 == 0 && $year % 400 <> 0)	: false;
122
-    }
120
+		return ($year % 4 == 0) ?
121
+			!($year % 100 == 0 && $year % 400 <> 0)	: false;
122
+	}
123 123
 
124 124
 	//get the total day of each month in year
125
-    function total_days($month,$year){
126
-    	$days = array(31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31);
125
+	function total_days($month,$year){
126
+		$days = array(31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31);
127 127
 		if($month > 0 && $year > 0){
128
-	    	return ($month == 2 && $this->is_leapYear($year)) ? 29 : $days[$month-1];
128
+			return ($month == 2 && $this->is_leapYear($year)) ? 29 : $days[$month-1];
129 129
 		}else return 31;
130
-    }
130
+	}
131 131
 
132 132
 	//Deprecate since v1.6
133 133
 	function getDayNum($day){
Please login to merge, or discard this patch.
contrib/ipImap/getip.php 1 patch
Indentation   +8 added lines, -8 removed lines patch added patch discarded remove patch
@@ -5,10 +5,10 @@  discard block
 block discarded – undo
5 5
 include_once($path.'config.php');
6 6
 require_once($path.'function.php');
7 7
 if ( !isset($version) ) {
8
-        openlog('myRBLemergency', LOG_PID, LOG_LOCAL0);
9
-        syslog (LOG_EMERG, 'unknown: I can\'t read the config files. Do you have configured the $path in getip.php?');
10
-        closelog();
11
-        exit(255);
8
+		openlog('myRBLemergency', LOG_PID, LOG_LOCAL0);
9
+		syslog (LOG_EMERG, 'unknown: I can\'t read the config files. Do you have configured the $path in getip.php?');
10
+		closelog();
11
+		exit(255);
12 12
 }
13 13
 include_once(dirname(__FILE__) . '/function.php');
14 14
 $conf = parse_ini_file($confImap_file);
@@ -35,12 +35,12 @@  discard block
 block discarded – undo
35 35
 
36 36
 	/* check you select a right list */
37 37
 	if ( !$tables[$conf['list']['spam']]['bl'] ) {
38
-       		syslog(LOG_EMERG, $conf['user'].': <'.$conf['list']['spam'].'> is not a blocklist. Are you stupid? Do you want to whitelist a spammer? I refuse to continue.');
39
-	       	exit (254);
38
+	   		syslog(LOG_EMERG, $conf['user'].': <'.$conf['list']['spam'].'> is not a blocklist. Are you stupid? Do you want to whitelist a spammer? I refuse to continue.');
39
+		   	exit (254);
40 40
 	}
41 41
 	if ( $tables[$conf['list']['ham']]['bl'] ) {
42
-        	syslog(LOG_EMERG, $conf['user'].': <'.$conf['list']['ham'].'> is a blocklist. Are you stupid? Do you want to block a legitimate sender? I refuse to continue.');
43
-	        exit (254);
42
+			syslog(LOG_EMERG, $conf['user'].': <'.$conf['list']['ham'].'> is a blocklist. Are you stupid? Do you want to block a legitimate sender? I refuse to continue.');
43
+			exit (254);
44 44
 	}
45 45
 
46 46
 	/* Make MYSQL connection Array */
Please login to merge, or discard this patch.
contrib/expire.php 1 patch
Indentation   +4 added lines, -4 removed lines patch added patch discarded remove patch
@@ -15,10 +15,10 @@
 block discarded – undo
15 15
 openlog($tag, LOG_PID, $fac);
16 16
 $mysqli = new mysqli($dbhost, $userdb, $pwd, $db, $dbport);
17 17
 if ($mysqli->connect_error) {
18
-            syslog (LOG_EMERG, $user.': Connect Error (' . $mysqli->connect_errno . ') '
19
-                    . $mysqli->connect_error);
20
-            die($user.': Connect Error (' . $mysqli->connect_errno . ') '
21
-                    . $mysqli->connect_error);
18
+			syslog (LOG_EMERG, $user.': Connect Error (' . $mysqli->connect_errno . ') '
19
+					. $mysqli->connect_error);
20
+			die($user.': Connect Error (' . $mysqli->connect_errno . ') '
21
+					. $mysqli->connect_error);
22 22
 }
23 23
 
24 24
 syslog (LOG_INFO, $user.': Successfully connected to ' . $mysqli->host_info );
Please login to merge, or discard this patch.
delist.php 1 patch
Indentation   +7 added lines, -7 removed lines patch added patch discarded remove patch
@@ -2,19 +2,19 @@
 block discarded – undo
2 2
 require_once('config.php');
3 3
 require_once('function.php');
4 4
 $typedesc=$_POST['type'];
5
-        $type = $tables["$typedesc"]['field'];
6
-        $table = $tables["$typedesc"]['name'];
5
+		$type = $tables["$typedesc"]['field'];
6
+		$table = $tables["$typedesc"]['name'];
7 7
 ?>
8 8
 <td colspan="9" style="text-align: center">
9 9
 <?php
10 10
 openlog($tag, LOG_PID, $fac);
11 11
 $user = username();
12 12
 $mysqli = new mysqli($dbhost, $userdb, $pwd, $db, $dbport);
13
-        if ($mysqli->connect_error) {
14
-            syslog (LOG_EMERG, $user.': Connect Error (' . $mysqli->connect_errno . ') '
15
-                    . $mysqli->connect_error);
16
-            exit ($user.': Connect Error (' . $mysqli->connect_errno . ') '
17
-                    . $mysqli->connect_error);
13
+		if ($mysqli->connect_error) {
14
+			syslog (LOG_EMERG, $user.': Connect Error (' . $mysqli->connect_errno . ') '
15
+					. $mysqli->connect_error);
16
+			exit ($user.': Connect Error (' . $mysqli->connect_errno . ') '
17
+					. $mysqli->connect_error);
18 18
 }
19 19
 syslog(LOG_INFO, $user.': Successfully connected to ' . $mysqli->host_info) ;
20 20
 
Please login to merge, or discard this patch.
relistForm.php 1 patch
Indentation   +3 added lines, -3 removed lines patch added patch discarded remove patch
@@ -1,7 +1,7 @@
 block discarded – undo
1 1
 <?php
2
-        $typedesc=$_POST["typedesc"];
3
-        $type = $tables["$typedesc"]['field'];
4
-        $table = $tables["$typedesc"]['name'];
2
+		$typedesc=$_POST["typedesc"];
3
+		$type = $tables["$typedesc"]['field'];
4
+		$table = $tables["$typedesc"]['name'];
5 5
 	$adm = unserialize($_POST["adm"]);
6 6
 	if (in_array($_POST["user"],array_keys(array_filter($adm)))) $extopt = '<option value="MONTH">MONTHS</option><option value="YEAR">YEARS</option>';
7 7
 	else $extopt = NULL;
Please login to merge, or discard this patch.