update docs to mention php 5.5