From 1eefbf6ba5186cd7f1a341e8c3e1687fc3ea813b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Helleu?= <flashcode@flashtux.org>
Date: Thu, 28 Sep 2017 00:51:15 +0200
Subject: [PATCH] php: use PHP_VERSION_ID instead of PHP_MAJOR_VERSION and
 PHP_MINOR_VERSION

---
 src/plugins/php/weechat-php.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plugins/php/weechat-php.c b/src/plugins/php/weechat-php.c
index 7d286e5b1..133e7ca88 100644
--- a/src/plugins/php/weechat-php.c
+++ b/src/plugins/php/weechat-php.c
@@ -1089,7 +1089,7 @@ php_weechat_sapi_error (int type, const char *format, ...)
     free (vbuffer);
 }
 
-#if PHP_MAJOR_VERSION > 7 || PHP_MINOR_VERSION >= 1
+#if PHP_VERSION_ID >= 70100
 /* PHP >= 7.1 */
 void
 php_weechat_log_message (char *message, int syslog_type_int)