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 ( 305821...ba7491 )
by Christoph
02:38
created
src/HtmlPageCrawler.php 1 patch
Doc Comments   +4 added lines, -1 removed lines patch added patch discarded remove patch
@@ -963,6 +963,9 @@  discard block
 block discarded – undo
963 963
         }
964 964
     }
965 965
 
966
+    /**
967
+     * @param string $content
968
+     */
966 969
     public function addHtmlFragment($content, $charset = 'UTF-8')
967 970
     {
968 971
         $d = new \DOMDocument('1.0', $charset);
@@ -980,7 +983,7 @@  discard block
 block discarded – undo
980 983
      * returns the first node
981 984
      * deprecated, use getNode(0) instead
982 985
      *
983
-     * @return \DOMNode|null
986
+     * @return \DOMElement|null
984 987
      * @deprecated
985 988
      * @see Crawler::getNode
986 989
      */
Please login to merge, or discard this patch.