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 ( a0bca2...c5b945 )
by Florian
14:02
created
Tests/Services/DoctrineListenerTest.php 1 patch
Doc Comments   +4 added lines, -4 removed lines patch added patch discarded remove patch
@@ -25,9 +25,9 @@  discard block
 block discarded – undo
25 25
 
26 26
 	/**
27 27
 	 *
28
-	 * @param number $save
28
+	 * @param integer $save
29 29
 	 *        	Number of expected saves
30
-	 * @param number $delete
30
+	 * @param integer $delete
31 31
 	 *        	Number of expected deletions
32 32
 	 */
33 33
 	protected function registerDoctrineListener($save = 0, $delete = 0) {
@@ -50,9 +50,9 @@  discard block
 block discarded – undo
50 50
 
51 51
 	/**
52 52
 	 *
53
-	 * @param number $save
53
+	 * @param integer $save
54 54
 	 *        	Number of expected saves
55
-	 * @param number $delete
55
+	 * @param integer $delete
56 56
 	 *        	Number of expected deletions
57 57
 	 */
58 58
 	protected function registerSearchService($save = 0, $delete = 0) {
Please login to merge, or discard this patch.