de-PHP-ify