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 — develop ( fdb351...008b6e )
by Stuart
05:27
created
src/php/DataSift/Storyplayer/OutputLib/OutputWriter.php 1 patch
Doc Comments   +6 added lines patch added patch discarded remove patch
@@ -128,6 +128,9 @@  discard block
 block discarded – undo
128 128
         ];
129 129
     }
130 130
 
131
+    /**
132
+     * @param string $filename
133
+     */
131 134
     public function addOutputToFile($filename)
132 135
     {
133 136
         // can we open the file?
@@ -169,6 +172,9 @@  discard block
 block discarded – undo
169 172
     //
170 173
     // ------------------------------------------------------------------
171 174
 
175
+    /**
176
+     * @param integer $mode
177
+     */
172 178
     public function setColourMode($mode)
173 179
     {
174 180
         switch ($mode)
Please login to merge, or discard this patch.