A simple yet robust PHP caching system