A small and simple PHP cache system