php: Add sockets extension requirement