mirror of
https://github.com/php/php-src.git
synced 2026-04-05 23:23:03 +02:00
In commit 6dabd7de04 the html_table.h was changed manually,
without changing the underlying generator (html_table_gen.php).
This commit fixes it.