A fast read-only memory mapped hash-table for PHP