A replacement for PHP.