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 — develop ( 33d1e4...655799 )
by Brad
05:23
created
pro/includes/class-foogallery-pro-filtering.php 1 patch
Doc Comments   +4 added lines, -4 removed lines patch added patch discarded remove patch
@@ -509,9 +509,9 @@  discard block
 block discarded – undo
509 509
 		/**
510 510
 		 * Private helper function to get the value of a setting for a gallery
511 511
 		 * @param $gallery
512
-		 * @param $setting_id
513
-		 * @param $argument_name
514
-		 * @param $default_value
512
+		 * @param string $setting_id
513
+		 * @param string $argument_name
514
+		 * @param string $default_value
515 515
 		 *
516 516
 		 * @return mixed
517 517
 		 */
@@ -562,7 +562,7 @@  discard block
 block discarded – undo
562 562
 		 * @param array $image_attributes
563 563
 		 * @param array $captions
564 564
 		 *
565
-		 * @return mixed
565
+		 * @return stdClass
566 566
 		 */
567 567
 		public function add_json_tags(  $json_object, $foogallery_attachment, $args, $anchor_attributes, $image_attributes, $captions ) {
568 568
 			if ( isset( $foogallery_attachment->tags ) ) {
Please login to merge, or discard this patch.