The sockets shared extension for php
