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
Pull Request — master (#2606)
by
unknown
05:01
created
symphony/lib/boot/func.utilities.php 1 patch
Doc Comments   +2 added lines, -2 removed lines patch added patch discarded remove patch
@@ -73,7 +73,7 @@  discard block
 block discarded – undo
73 73
  *
74 74
  * @param string $name
75 75
  *  The name of the value to retrieve
76
- * @return mixed
76
+ * @return string
77 77
  *  The value, is it exists
78 78
  */
79 79
 function server_safe($name)
@@ -106,7 +106,7 @@  discard block
 block discarded – undo
106 106
  *
107 107
  *  @param string $action (optional)
108 108
  *  @param integer $start_time (optional)
109
- *  @return integer
109
+ *  @return double
110 110
  */
111 111
 function precision_timer($action = 'start', $start_time = null)
112 112
 {
Please login to merge, or discard this patch.