A Collection of Micro-Benchmarks for PHP