Patches
Plain Diff
This fixes a warning from PHPCompatiblity about a possible future conflict with PHP internal functions. issue #6167