mirror of
https://github.com/php/php-src.git
synced 2025-08-16 05:58:45 +02:00
Drop zend_indent() as it was never used, complete or working
This commit is contained in:
parent
c64f5e3332
commit
8153286efe
12 changed files with 4 additions and 249 deletions
|
@ -73,7 +73,6 @@
|
|||
#include "zend_compile.h"
|
||||
#include "zend_execute.h"
|
||||
#include "zend_highlight.h"
|
||||
#include "zend_indent.h"
|
||||
#include "zend_exceptions.h"
|
||||
|
||||
#include "php_getopt.h"
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue