mirror of
https://github.com/php/php-src.git
synced 2025-08-19 17:04:47 +02:00
Just in case this header isn't present on the snaps machine.
This commit is contained in:
parent
c921ceb49c
commit
5b5b10f0ca
1 changed files with 3 additions and 1 deletions
|
@ -18,7 +18,9 @@
|
||||||
/* $Id$ */
|
/* $Id$ */
|
||||||
|
|
||||||
#include <activscp.h>
|
#include <activscp.h>
|
||||||
#include <objsafe.h>
|
#if ACTIVEPHP_OBJECT_SAFETY
|
||||||
|
# include <objsafe.h>
|
||||||
|
#endif
|
||||||
#include "zend.h"
|
#include "zend.h"
|
||||||
#include <setjmp.h>
|
#include <setjmp.h>
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue