A PHP extension to control GPIO on the RaspberryPi – my BrightonPHP talk