A SVN import of the PHP documentation, because nobody uses SVN.