title: Is there an easy way to switch PHP versions while developing?
body: <p>I love <a href="https://rvm.io/" rel="noreferrer">rvm</a> (ruby version manager), it allows to switch quickly between Ruby versions on the command line, like this:</p>
  
  <pre><code>$ rvm use 1.9.3
  </code></pre>
  
  <p>Is there a similiar tool for PHP? (Preferably on the command line.) I'm currently developing a PHP framework, so I quickly need to test the code on different PHP version.</p>
  
  <p>I'm using Ubuntu 11.10.</p>