removes php 5.4-specific code