Add $skipFiles to spec_files()

Author: nikic

tools/grammar.php

@@ -23,13 +23,8 @@
 
 $output .= "\n\n##Syntactic Grammar";
 
-foreach (spec_files() as $fileName => $path) {
-    if ($fileName === '05-types.md'
-            || $fileName === '09-lexical-structure.md'
-            || $fileName === '19-grammar.md') {
-        continue;
-    }
-
+$skipFiles = ['05-types.md', '09-lexical-structure.md', '19-grammar.md'];
+foreach (spec_files($skipFiles) as $fileName => $path) {
     $code = file_get_contents($path);
     $grammar = extract_grammar($code);
     if (null === $grammar) {

tools/util.php

@@ -1,15 +1,16 @@
 <?php
 
 /* Iterator of spec files, using $fileName => $path. */
-function spec_files() {
+function spec_files($skipFiles = []) {
     $dir = __DIR__ . '/../spec/';
     $files = scandir($dir);
 
     foreach ($files as $file) {
         if (pathinfo($file, PATHINFO_EXTENSION) != 'md') {
             continue;
         }
-        if ($file == '00-specification-for-php.md') {
+        if ($file == '00-specification-for-php.md'
+                || in_array($file, $skipFiles)) {
             continue;
         }