mirror of
https://github.com/php/php-src.git
synced 2026-03-24 00:02:20 +01:00
Clean-up some more headers (#14416)
Remove unused headers (such as php_ini.h for extensions that don't define INI settings) Use more specific headers when possible
This commit is contained in:
committed by
GitHub
parent
8f6612aca0
commit
fd2d869642
@@ -21,11 +21,10 @@
|
||||
|
||||
|
||||
#include "php.h"
|
||||
#include "php_ini.h"
|
||||
#include "ext/standard/info.h"
|
||||
#include "php_xmlwriter.h"
|
||||
#include "php_xmlwriter_arginfo.h"
|
||||
#include "ext/standard/php_string.h"
|
||||
#include "ext/standard/php_string.h" /* For php_dirname() */
|
||||
|
||||
static zend_class_entry *xmlwriter_class_entry_ce;
|
||||
|
||||
|
||||
Reference in New Issue
Block a user