Please just remove any PHP 5.4 / builtin webserver references so this patch can finally be merged.