Upgrade php5 runkit extension to work with php 5.4