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 ( 1ed15e...c21a18 )
by Asao
01:38
created
src/Pager.php 1 patch
Doc Comments   +1 added lines, -1 removed lines patch added patch discarded remove patch
@@ -106,7 +106,7 @@
 block discarded – undo
106 106
      *
107 107
      * @API
108 108
      * @param array $query query like $_GET
109
-     * @param null  $path  path info
109
+     * @param string  $path  path info
110 110
      * @return Pager
111 111
      */
112 112
     public function withQuery(array $query, $path = null)
Please login to merge, or discard this patch.
src/Paginate/AbstractPaginate.php 1 patch
Doc Comments   +2 added lines, -2 removed lines patch added patch discarded remove patch
@@ -101,7 +101,7 @@  discard block
 block discarded – undo
101 101
     }
102 102
 
103 103
     /**
104
-     * @param string|int  $page
104
+     * @param string  $page
105 105
      * @param array       $page_list
106 106
      * @return bool
107 107
      */
@@ -130,7 +130,7 @@  discard block
 block discarded – undo
130 130
 
131 131
     /**
132 132
      * @param $page
133
-     * @return int|string
133
+     * @return string
134 134
      */
135 135
     protected function calcPageNum($page)
136 136
     {
Please login to merge, or discard this patch.