php5 socket extension was added