mirror of
https://github.com/php/php-src.git
synced 2025-08-16 05:58:45 +02:00
![]() Remove unused headers (such as php_ini.h for extensions that don't define INI settings) Use more specific headers when possible |
||
---|---|---|
.. | ||
tests | ||
config.w32 | ||
config0.m4 | ||
CREDITS | ||
php_sqlite3.h | ||
php_sqlite3_structs.h | ||
sqlite3.c | ||
sqlite3.stub.php | ||
sqlite3_arginfo.h |