Lightweight PHP Version Manager