A PHP library to play with the Raspberry PI's GPIO pins - View it on GitHub