de PHP-ify