Fix for php 5.6.0(alpha)