Stats: use str_getcsv when available (PHP 5.3)