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 ( 77af1f...bfa68a )
by François
02:16
created
src/YubiKey.php 1 patch
Doc Comments   +4 added lines patch added patch discarded remove patch
@@ -25,6 +25,10 @@
 block discarded – undo
25 25
 
26 26
 class YubiKey
27 27
 {
28
+    /**
29
+     * @param string $yubiKeyOtp
30
+     * @param string $yubiKeyId
31
+     */
28 32
     public function verify($userId, $yubiKeyOtp, $yubiKeyId = null)
29 33
     {
30 34
         try {
Please login to merge, or discard this patch.
src/OpenVpn/ServerManager.php 1 patch
Doc Comments   +3 added lines patch added patch discarded remove patch
@@ -149,6 +149,9 @@
 block discarded – undo
149 149
         return 0 !== $clientsKilled;
150 150
     }
151 151
 
152
+    /**
153
+     * @param integer $processNumber
154
+     */
152 155
     private function toPort($instanceNumber, $profileNumber, $processNumber)
153 156
     {
154 157
         // convert an instanceNumber, $profileNumber and $processNumber to a management port
Please login to merge, or discard this patch.