A DHCP server written in PHP