no type decls, yet
authorMichael Wallner <mike@php.net>
Thu, 7 Mar 2019 06:49:50 +0000 (07:49 +0100)
committerMichael Wallner <mike@php.net>
Thu, 7 Mar 2019 06:49:50 +0000 (07:49 +0100)
mdref/File.php

index 33cfa6f413627049dff644014af1a1d9f85425a7..48d53c44150e12acff06b522073ecceeb902645d 100644 (file)
@@ -115,7 +115,7 @@ class File {
                return 0 === fseek($this->fd, $offset, SEEK_SET);
        }
 
-       private function isHeading(string $line, string $title = null) {
+       private function isHeading($line, $title = null) {
                if ("## " !== substr($line, 0, 3)) {
                        return false;
                }