[ci skip] add upgrading note about PHP_OS_FAMILY

diff --git a/UPGRADING b/UPGRADING
index af739b81a43c391b8122cefed088c8f8c4650182..e7a428aee268d0911b0a539b66ce284f5c233cf0 100644 (file)
--- a/UPGRADING
+++ b/UPGRADING
@@ -204,6 +204,7 @@ PHP 7.2 UPGRADE NOTES
                       x + 1.0 != 1.0
   . PHP_FLOAT_MIN     min representable float number
   . PHP_FLOAT_MAX     max representable float number
+  . PHP_OS_FAMILY     current operating system family
 
 - Fileinfo:
   . FILEINFO_EXTENSION include list of possible file extensions