A resource manager for PHP.