Updates link to docs.
We only require PHP 5.3.7