mirror of
https://github.com/php/php-src.git
synced 2025-08-15 13:38:49 +02:00
Merge branch 'PHP-8.3'
* PHP-8.3: zend_max_execution_timer: fix gcc compatibility (#15447)
This commit is contained in:
commit
a2313cea5a
1 changed files with 4 additions and 0 deletions
|
@ -31,6 +31,10 @@
|
|||
#include "zend_globals.h"
|
||||
#include "zend_portability.h"
|
||||
|
||||
#include "zend.h"
|
||||
#include "zend_globals.h"
|
||||
#include "zend_portability.h"
|
||||
|
||||
#if __has_feature(memory_sanitizer)
|
||||
# include <sanitizer/msan_interface.h>
|
||||
#endif
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue