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
Push — master ( 4d35db...7c40ab )
by Marco
03:05
created
function.php 1 patch
Doc Comments   +14 added lines patch added patch discarded remove patch
@@ -234,6 +234,9 @@  discard block
 block discarded – undo
234 234
 }
235 235
 
236 236
 
237
+/**
238
+ * @param integer $id
239
+ */
237 240
 function askMilter($myconn,$id,$obj,$typedesc,$miltId,$value,$user,$adm)  {
238 241
 	$milts = readMiltName($myconn,$user);
239 242
 	$size = count($milts);
@@ -264,6 +267,11 @@  discard block
 block discarded – undo
264 267
 }
265 268
 
266 269
 
270
+/**
271
+ * @param integer $id
272
+ * @param string $what
273
+ * @param boolean $lock
274
+ */
267 275
 function ask($myconn,$id,$what,$alltables,$typedesc,$value,$lock,$user,$adm) {
268 276
 
269 277
 	$whynot=NULL;
@@ -522,6 +530,9 @@  discard block
 block discarded – undo
522 530
 }
523 531
 
524 532
 
533
+/**
534
+ * @param string $reason
535
+ */
525 536
 function searchAndList ($myconn,$loguser,$tables,$typedesc,$value,$unit,&$quantity,&$reason) {
526 537
 
527 538
 /* Search and list value */
@@ -591,6 +602,9 @@  discard block
 block discarded – undo
591 602
 	return array_map('long2ip', range( ip2long($range[0]), ip2long($range[1]) ) );
592 603
 }
593 604
 
605
+/**
606
+ * @param string $netA
607
+ */
594 608
 function isIn($netA, $netB) {
595 609
 /* TRUE if an IP of $netA is contained in netB */
596 610
 	list($addressA,$maskA) = explode('/', $netA);
Please login to merge, or discard this patch.