[DOC-CVS] [doc-base] master: Remove $Revision$ (#240)
[email protected] (Jakub Vrána via GitHub)
| Newsgroups | php.doc.cvs |
|---|---|
| Message-ID | <[email protected]> |
Author: Jakub Vrána (vrana)
Committer: GitHub (web-flow)
Pusher: Girgias
Date: 2025-05-01T02:12:28+01:00
Commit: https://github.com/php/doc-base/commit/048256b6c930d0c2e03903e0e9614d8f85441eb6
Raw diff: https://github.com/php/doc-base/commit/048256b6c930d0c2e03903e0e9614d8f85441eb6.diff
Remove $Revision$ (#240)
We don't use SVN anymore.
Changed paths:
M entities/acronyms.xml
M scripts/docgen/docgen.php
M scripts/gen-phpdoc-tz-list.php
M scripts/genPHP_INI_ENTRY.php
Diff:
diff --git a/entities/acronyms.xml b/entities/acronyms.xml
index a6995c0f6..1b5dbce06 100644
--- a/entities/acronyms.xml
+++ b/entities/acronyms.xml
@@ -1,5 +1,4 @@
<?xml version="1.0" encoding="UTF-8"?>
-<!-- $Revision$ -->
<!-- All Acronyms should be listed in Alphabetical order -->
<!-- To use them, use the <acronym> tag -->
diff --git a/scripts/docgen/docgen.php b/scripts/docgen/docgen.php
index 59098acaa..928d3a5c1 100644
--- a/scripts/docgen/docgen.php
+++ b/scripts/docgen/docgen.php
@@ -1108,7 +1108,6 @@ function get_default_role ($role, $funcname, $default) {
$arropts = array(
'verbose' => 'v', /* verbose */
- 'version' => 'V', /* version */
'quiet' => 'q', /* quiet */
'include:' => 'i:', /* include */
'help' => 'h', /* help */
@@ -1136,10 +1135,6 @@ function get_default_role ($role, $funcname, $default) {
foreach ($options as $opt => $value) {
switch ($opt) {
case 'v':
- case 'version':
- printf("%s\n", '$Revision$');
- break;
- case 'V':
case 'verbose':
$OPTION['verbose'] = false;
break;
diff --git a/scripts/gen-phpdoc-tz-list.php b/scripts/gen-phpdoc-tz-list.php
index 76ed8dca1..0b4db8a71 100644
--- a/scripts/gen-phpdoc-tz-list.php
+++ b/scripts/gen-phpdoc-tz-list.php
@@ -33,7 +33,6 @@
$groupedList['Others'] = $others;
?>
<?php echo '<?'; ?>xml version="1.0" encoding="UTF-8"?>
-<!-- $Revision$ -->
<!-- AUTO GENERATED, DO NOT TRANSLATE OR MODIFY BY HAND -->
<!-- The script to generate this file is scripts/gen-phpdoc-tz-list.php -->
diff --git a/scripts/genPHP_INI_ENTRY.php b/scripts/genPHP_INI_ENTRY.php
index a7b0733ce..47627f23b 100644
--- a/scripts/genPHP_INI_ENTRY.php
+++ b/scripts/genPHP_INI_ENTRY.php
@@ -30,7 +30,6 @@
<?xml version="1.0" encoding="iso-8859-1"?>
<!-- Automatically generated using gen_PHP_INI_ENTRY.php -->
<!-- DO NOT EDIT. -->
-<!-- \$Revision$ -->
<section id="##ID##.configuration">
&reftitle.runtime;
&extension.runtime;\n\n