WiredPi is a library for connecting php and the Raspberry Pi GPIO via wiringPi