Handler Socket extension for PHP