File caching for PHP