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 (#877)
by
unknown
03:24
created
application/core/Mail.php 1 patch
Doc Comments   +3 added lines, -3 removed lines patch added patch discarded remove patch
@@ -115,12 +115,12 @@
 block discarded – undo
115 115
      * The main mail sending method, this simply calls a certain mail sending method depending on which mail provider
116 116
      * you've selected in the application's config.
117 117
      *
118
-     * @param $user_email string email
118
+     * @param string $user_email string email
119 119
      * @param $from_email string sender's email
120 120
      * @param $from_name string sender's name
121 121
      * @param $subject string subject
122
-     * @param $body string full mail body text
123
-     * @return bool the success status of the according mail sending method
122
+     * @param string $body string full mail body text
123
+     * @return boolean|null the success status of the according mail sending method
124 124
      */
125 125
     public function sendMail($user_email, $from_email, $from_name, $subject, $body)
126 126
     {
Please login to merge, or discard this patch.