Skip to content

Instantly share code, notes, and snippets.

@robinmulder
robinmulder / php-5.6.33-php52752.patch
Created February 2, 2018 13:09
Patch for PHP bug 52752
diff -crB php-5.6.33/Zend/zend_language_scanner.c php-5.6.33-patched/Zend/zend_language_scanner.c
*** php-5.6.33/Zend/zend_language_scanner.c 2018-01-03 00:41:52.000000000 +0100
--- php-5.6.33-patched/Zend/zend_language_scanner.c 2018-02-02 13:26:46.136423102 +0100
***************
*** 38,43 ****
--- 38,46 ----
#ifdef PHP_WIN32
# include <Winuser.h>
#endif
+ #ifndef _WIN32