Add the socket extension for PHP

Add the socket extension for PHP #304