Doc #80681 [NEW]: SVN mentions in manual and dochowto

From: ae Operating system: PHP version: Irrelevant Package: Documentation problem Bug Type: Documentation Problem Bug description:SVN mentions in manual and dochowto Description: ------------ The PHP Manual > Appendices > About the manual [1] mentions SVN a lot, so the manual tutorial (dochowto) [2]. They need a rewrite from the recent SVN to git migration. [1] https://www.php.net/manual/en/about.generate.php and https://www.php.net/manual/en/about.translations.php [2] http://doc.php.net/tutorial/ Expected result: ---------------- No mention of SVN (or CVS!) sources of the manual. Actual result: -------------- "The XML source code may be downloaded from SVN and viewed at » https://svn.php.net/viewvc/." "People involved in the translations start from the XML source code available from » https://svn.php.net/viewvc/ and from it they translate" "To checkout the documentation source, use a modified version of the following command where you change {LANG} to a desired language, such as en for only English: svn checkout https://svn.php.net/repository/phpdoc/modules/doc-{LANG} phpdoc-{LANG}" "Obtaining SVN access" -- Edit bug report at https://bugs.php.net/bug.php?id=80681&edit=1 -- Fix committed: https://bugs.php.net/fix.php?id=80681&r=fixed Fixed in release: https://bugs.php.net/fix.php?id=80681&r=alreadyfixed Need backtrace: https://bugs.php.net/fix.php?id=80681&r=needtrace Need Reproduce Script: https://bugs.php.net/fix.php?id=80681&r=needscript Try newer version: https://bugs.php.net/fix.php?id=80681&r=oldversion Not developer issue: https://bugs.php.net/fix.php?id=80681&r=support Expected behavior: https://bugs.php.net/fix.php?id=80681&r=notwrong Not enough info: https://bugs.php.net/fix.php?id=80681&r=notenoughinfo Submitted twice: https://bugs.php.net/fix.php?id=80681&r=submittedtwice register_globals: https://bugs.php.net/fix.php?id=80681&r=globals PHP version support discontinued: https://bugs.php.net/fix.php?id=80681&r=phptooold Daylight Savings: https://bugs.php.net/fix.php?id=80681&r=dst IIS Stability: https://bugs.php.net/fix.php?id=80681&r=isapi Install GNU Sed: https://bugs.php.net/fix.php?id=80681&r=gnused Floating point limitations: https://bugs.php.net/fix.php?id=80681&r=float No Zend Extensions: https://bugs.php.net/fix.php?id=80681&r=nozend MySQL Configuration Error: https://bugs.php.net/fix.php?id=80681&r=mysqlcfg