A modified version of haste-server to run in a PHP environment