Generate tabs in generate_mime_type_map.php

The PHP file is space indented, but we need the C file to be tab indented.
php · Jun 24, 2020 · 5889c41 · 5889c41
1 parent ff19ec2
commit 5889c41
Showing 1 changed file with 15 additions and 7 deletions.
diff --git a/sapi/cli/generate_mime_type_map.php b/sapi/cli/generate_mime_type_map.php
@@ -40,7 +40,7 @@
     }
 }
 
-?>
+echo <<<HEADER
 /*
    +----------------------------------------------------------------------+
    | Copyright (c) The PHP Group                                          |
@@ -64,15 +64,23 @@
 #define PHP_CLI_SERVER_MIME_TYPE_MAP_H
 
 typedef struct php_cli_server_ext_mime_type_pair {
-    const char *ext;
-    const char *mime_type;
+\tconst char *ext;
+\tconst char *mime_type;
 } php_cli_server_ext_mime_type_pair;
 
 static const php_cli_server_ext_mime_type_pair mime_type_map[] = {
-<?php foreach ($extensions as $extension => $mime): ?>
-    { "<?= addcslashes($extension, "\0..\37!@\@\177..\377") ?>", "<?= addcslashes($mime, "\0..\37!@\@\177..\377") ?>" },
-<?php endforeach ?>
-    { NULL, NULL }
+
+HEADER;
+
+foreach ($extensions as $extension => $mime) {
+    echo "\t{ \"" .addcslashes($extension, "\0..\37!@\@\177..\377") . "\", \""
+        . addcslashes($mime, "\0..\37!@\@\177..\377") . "\" },\n";
+}
+
+echo <<<FOOTER
+\t{ NULL, NULL }
 };
 
 #endif /* PHP_CLI_SERVER_MIME_TYPE_MAP_H */
+
+FOOTER;