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 ( 9463b8...c4f6e8 )
by Michel
03:32
created
src/Form/Element/DateTime.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
      * - format: A \DateTime compatible string
19 19
      *
20 20
      * @param  array|\Traversable $options
21
-     * @return \DateTime
21
+     * @return DateTime
22 22
      */
23 23
     public function setOptions($options)
24 24
     {
Please login to merge, or discard this patch.
src/Form/Element/Time.php 1 patch
Doc Comments   +1 added lines, -1 removed lines patch added patch discarded remove patch
@@ -19,7 +19,7 @@
 block discarded – undo
19 19
      * - format: A \DateTime compatible string
20 20
      *
21 21
      * @param  array|\Traversable $options
22
-     * @return \DateTime
22
+     * @return Time
23 23
      */
24 24
     public function setOptions($options)
25 25
     {
Please login to merge, or discard this patch.