Move PHP manual to docs/ directory.