Replace php_stdint.h header with standard headers (#8613)

This commit is contained in:
George Peter Banyard 2022-05-29 11:20:56 +01:00 committed by GitHub
parent 492021168d
commit d08451b2ca
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
13 changed files with 19 additions and 69 deletions

View file

@ -34,7 +34,7 @@ extern "C" {
# include "php_config.h"
#endif
#include "php_stdint.h"
#include <stdint.h>
/* Compile with -DPHP_HTTP_PARSER_STRICT=0 to make less checks, but run
* faster