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 ( 09d8db...9ac279 )
by Florian
05:02
created
Form/QueryType.php 1 patch
Doc Comments   +4 added lines, -1 removed lines patch added patch discarded remove patch
@@ -100,7 +100,7 @@  discard block
 block discarded – undo
100 100
 
101 101
 	/**
102 102
 	 *
103
-	 * @param FormBuilderInterface|Form $builder        	
103
+	 * @param FormInterface $builder        	
104 104
 	 * @param FacetSet $facets        	
105 105
 	 */
106 106
 	protected function createFacets($builder, FacetSet $facets, array $options, $data) {
@@ -143,6 +143,9 @@  discard block
 block discarded – undo
143 143
 		return $choices;
144 144
 	}
145 145
 	
146
+	/**
147
+	 * @param string $facetType
148
+	 */
146 149
 	protected function formatFacet($formatter, $facetType, $facet, $count) {
147 150
 		$default = $facet . ' (' . $count . ')';
148 151
 		if(!$formatter) {
Please login to merge, or discard this patch.