Merge branch 'PHP-7.0' into PHP-7.1

diff --cc NEWS
index 1f50aeb259c16c3f99c8866b58382fcdeac20945,3b848264ae4452f0bf7260f0f6b04c6c70a35708..8edb70d66ae7a50c246e2641afb07abbb51d0f4e
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -9,8 -9,10 +9,10 @@@ PH
  - Filter:
    . Fixed bug #72972 (Bad filter for the flags FILTER_FLAG_NO_RES_RANGE and
      FILTER_FLAG_NO_PRIV_RANGE). (julien)
+   . Fixed bug #73054 (default option ignored when object passed to int filter).
+     (cmb)
  
 -- GD:
 +-GD:
    . Fixed bug #67325 (imagetruecolortopalette: white is duplicated in palette).
      (cmb)
  

diff --cc ext/filter/filter.c
Simple merge