A fix (complete package and upgrade package each) for both development lines has been published to enable these versions to run on PHP 5.4.