Peter Kokot 03bbdf275a Make PHP development tools files executable ... This patch makes few remaining PHP development tools files executable and adds a shebang to them. The `#!/usr/bin/env php` shebang provides running the script via `./script.php` and uses env to find PHP script location on the system. At the same time it still provides running the script with a user defined PHP location using `php script.php`. Shebang is not visible in the output of the generated file.		2018-09-17 00:02:36 +02:00
..
mappings
ents_basic.txt
ents_basic_apos.txt
ents_html5.txt
ents_html401.txt	typo fixes - https://github.com/vlajos/misspell_fixer	2014-11-23 14:52:47 -08:00
ents_xhtml.txt
html_table_gen.php	Make PHP development tools files executable	2018-09-17 00:02:36 +02:00