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 ( 6052ae...5ff50a )
by De
04:29
created
src/Document.php 1 patch
Doc Comments   +7 added lines, -2 removed lines patch added patch discarded remove patch
@@ -153,11 +153,17 @@  discard block
 block discarded – undo
153 153
         return $this->options;
154 154
     }
155 155
 
156
+    /**
157
+     * @param string $name
158
+     */
156 159
     public function getOption($name, $default = null)
157 160
     {
158 161
         return isset($this->options[$name]) ? $this->options[$name] : $default;
159 162
     }
160 163
 
164
+    /**
165
+     * @param string $name
166
+     */
161 167
     public function hasOption($name)
162 168
     {
163 169
         return isset($this->options[$name]);
@@ -787,7 +793,6 @@  discard block
 block discarded – undo
787 793
     /**
788 794
      * Get reference to document
789 795
      *
790
-     * @param Document  $document   instance to stored document to get DBREf
791 796
      *
792 797
      * @throws Exception
793 798
      * @return array
@@ -1212,7 +1217,7 @@  discard block
 block discarded – undo
1212 1217
 
1213 1218
     /**
1214 1219
      *
1215
-     * @return \Sokil\Mongo\RevisionManager
1220
+     * @return RevisionManager
1216 1221
      */
1217 1222
     public function getRevisionManager()
1218 1223
     {
Please login to merge, or discard this patch.