PHP extension which transparently caches PHP functions