A system for running PHP applications on the desktop