Der relevante Sourcecode von PHP 7.1.14 verwendet Dinge, die ich noch nie selbst gemacht habe, von daher weiß ich nicht, wo man konkret suchen müsste.
Die ist als "deprecated" markiert. Das wiederum ist wohl der Grund, warum die Entwickler den Code überhaupt "angefasst" haben.