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 ( 08b4ed...62ca4c )
by Stuart
07:20
created
src/php/Prose/functions.php 1 patch
Doc Comments   +2 added lines, -1 removed lines patch added patch discarded remove patch
@@ -1418,7 +1418,7 @@  discard block
 block discarded – undo
1418 1418
  * use this in your own stories whenever you to need to add an extra log
1419 1419
  * message, for example to make it really clear what is happening.
1420 1420
  *
1421
- * @return \Storyplayer\SPv2\Modules\Host\UsingLog
1421
+ * @return Log\UsingLog
1422 1422
  */
1423 1423
 function usingLog()
1424 1424
 {
@@ -1615,6 +1615,7 @@  discard block
 block discarded – undo
1615 1615
  * This module is for internal use inside Storyplayer. You shouldn't need to
1616 1616
  * use it from your own stories.
1617 1617
  *
1618
+ * @param string $tableName
1618 1619
  * @return \Prose\UsingRuntimeTable
1619 1620
  */
1620 1621
 function usingRuntimeTable($tableName)
Please login to merge, or discard this patch.