diff options
Diffstat (limited to 'ext/fileinfo/create_data_file.php')
-rw-r--r-- | ext/fileinfo/create_data_file.php | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/ext/fileinfo/create_data_file.php b/ext/fileinfo/create_data_file.php new file mode 100644 index 0000000..bf1f563 --- /dev/null +++ b/ext/fileinfo/create_data_file.php @@ -0,0 +1,17 @@ +/* This is a generated file, do not modify */ +/* Usage: php create_data_file.php /path/to/magic.mgc > data_file.c */ +<?php + $dta = file_get_contents( $argv[1] ); + $dta_l = strlen($dta); + $j = 0; + + echo "const unsigned char php_magic_database[$dta_l] = {\n"; + for ($i = 0; $i < $dta_l; $i++) { + printf("0x%02X, ", ord($dta[$i])); + if ($j % 16 == 15) { + echo "\n"; + } + $j++; + } + echo "};\n"; +?> |