No PHP, so why the PHP extension :/