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 ( 221cb7...4c749c )
by Christian
04:35 queued 02:34
created
application/core/Mail.php 1 patch
Doc Comments   +3 added lines, -3 removed lines patch added patch discarded remove patch
@@ -100,12 +100,12 @@
 block discarded – undo
100 100
      * The main mail sending method, this simply calls a certain mail sending method depending on which mail provider
101 101
      * you've selected in the application's config.
102 102
      *
103
-     * @param $user_email string email
103
+     * @param string $user_email string email
104 104
      * @param $from_email string sender's email
105 105
      * @param $from_name string sender's name
106 106
      * @param $subject string subject
107
-     * @param $body string full mail body text
108
-     * @return bool the success status of the according mail sending method
107
+     * @param string $body string full mail body text
108
+     * @return boolean|null the success status of the according mail sending method
109 109
      */
110 110
 	public function sendMail($user_email, $from_email, $from_name, $subject, $body)
111 111
 	{
Please login to merge, or discard this patch.
application/core/Redirect.php 1 patch
Doc Comments   +1 added lines, -1 removed lines patch added patch discarded remove patch
@@ -18,7 +18,7 @@
 block discarded – undo
18 18
 	/**
19 19
 	 * To the defined page
20 20
 	 *
21
-	 * @param $path
21
+	 * @param string $path
22 22
 	 */
23 23
 	public static function to($path)
24 24
 	{
Please login to merge, or discard this patch.