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 — 2.9 ( 7d5d72...0e94e3 )
by Thorsten
13:46
created
phpmyfaq/inc/PMF/DB/Mysqli.php 1 patch
Doc Comments   +4 added lines, -3 removed lines patch added patch discarded remove patch
@@ -68,7 +68,7 @@  discard block
 block discarded – undo
68 68
      *
69 69
      * @throws PMF_Exception
70 70
      *
71
-     * @return bool true, if connected, otherwise false
71
+     * @return null|boolean true, if connected, otherwise false
72 72
      */
73 73
     public function connect($host, $user, $password, $database = '')
74 74
     {
@@ -144,7 +144,7 @@  discard block
 block discarded – undo
144 144
      *
145 145
      * This function fetches a result row as an object.
146 146
      *
147
-     * @param mixed $result
147
+     * @param resource $result
148 148
      *
149 149
      * @return mixed
150 150
      */
@@ -300,7 +300,7 @@  discard block
 block discarded – undo
300 300
      *
301 301
      * @param string $prefix Table prefix
302 302
      *
303
-     * @return array
303
+     * @return string[]
304 304
      */
305 305
     public function getTableNames($prefix = '')
306 306
     {
@@ -375,6 +375,7 @@  discard block
 block discarded – undo
375 375
      * Returns just one row.
376 376
      *
377 377
      * @param string
378
+     * @param string $query
378 379
      *
379 380
      * @return string
380 381
      */
Please login to merge, or discard this patch.