This assumes 2 copies of the PHP documentation repo, one "official" SVN which is meant to be kept clean, and a fork of php/doc-en
After the doc PR has been reviewed/approved/decided to merge, squash it into one commit (make sure the branch is up to date with upstream).
For the purpose of this tutorial, the following file structure is assumed:
|
|-- doc-en the Git fork
| |(content of English documentation)