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 ( 947fba...df361a )
by Rudie
07:16
created
src/FileManager.php 1 patch
Doc Comments   +6 added lines patch added patch discarded remove patch
@@ -88,6 +88,7 @@  discard block
 block discarded – undo
88 88
 
89 89
 	/**
90 90
 	 *
91
+	 * @param string|null $filename
91 92
 	 */
92 93
 	public function makeNewFilePath($filename, $destination = null) {
93 94
 		$original = $this->getFilePath($filename, $destination);
@@ -103,6 +104,8 @@  discard block
 block discarded – undo
103 104
 
104 105
 	/**
105 106
 	 *
107
+	 * @param string $filepath
108
+	 * @param integer $index
106 109
 	 */
107 110
 	public function appendFilePathUniqueness($filepath, $index) {
108 111
 		$ext = $this->takeExtension($filepath);
@@ -185,6 +188,7 @@  discard block
 block discarded – undo
185 188
 
186 189
 	/**
187 190
 	 *
191
+	 * @param string $path
188 192
 	 */
189 193
 	public function chmodDir($path) {
190 194
 		return @chmod($path, $this->options['chmod_dirs']);
@@ -192,6 +196,7 @@  discard block
 block discarded – undo
192 196
 
193 197
 	/**
194 198
 	 *
199
+	 * @param string $path
195 200
 	 */
196 201
 	public function prepPublicDir($path) {
197 202
 		return $this->prepDir($this->public_path, $path);
@@ -199,6 +204,7 @@  discard block
 block discarded – undo
199 204
 
200 205
 	/**
201 206
 	 *
207
+	 * @param string $root
202 208
 	 */
203 209
 	public function prepDir($root, $path) {
204 210
 		$root = rtrim($root, '/');
Please login to merge, or discard this patch.