Virtual environment manager for PHP