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 ( df361a...6e792c )
by Rudie
04:01 queued 02:02
created
src/FileManager.php 1 patch
Doc Comments   +7 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);
@@ -178,6 +181,7 @@  discard block
 block discarded – undo
178 181
 
179 182
 	/**
180 183
 	 *
184
+	 * @param string $path
181 185
 	 */
182 186
 	public function chmodFile($path) {
183 187
 		return chmod($path, $this->options['chmod_files']);
@@ -185,6 +189,7 @@  discard block
 block discarded – undo
185 189
 
186 190
 	/**
187 191
 	 *
192
+	 * @param string $path
188 193
 	 */
189 194
 	public function chmodDir($path) {
190 195
 		return @chmod($path, $this->options['chmod_dirs']);
@@ -192,6 +197,7 @@  discard block
 block discarded – undo
192 197
 
193 198
 	/**
194 199
 	 *
200
+	 * @param string $path
195 201
 	 */
196 202
 	public function prepPublicDir($path) {
197 203
 		return $this->prepDir($this->public_path, $path);
@@ -199,6 +205,7 @@  discard block
 block discarded – undo
199 205
 
200 206
 	/**
201 207
 	 *
208
+	 * @param string $root
202 209
 	 */
203 210
 	public function prepDir($root, $path) {
204 211
 		$root = rtrim($root, '/');
Please login to merge, or discard this patch.