A PHP extension for StatsD