[prev in list] [next in list] [prev in thread] [next in thread]
List: php-doc-cvs
Subject: [DOC-CVS] [doc-en] master: random: capitalize titleabbrev of random extension.
From: Yoshinari Takaoka <noreply () php ! net>
Date: 2022-11-27 4:37:50
Message-ID: UE2qbFrggnPPiirhK7A0msdnjmS6JNA2SSd8Jlc4do () main ! php ! net
[Download RAW message or body]
Author: Yoshinari Takaoka (mumumu)
Date: 2022-11-27T13:20:04+09:00
Commit: https://github.com/php/doc-en/commit/fae2756340c4837e09ef8f2713ee972fc649fd6f
Raw diff: https://github.com/php/doc-en/commit/fae2756340c4837e09ef8f2713ee972fc649fd6f.diff
random: capitalize titleabbrev of random extension.
It seems odd to me that ONLY random extension titleabbrev is not capitalized.
Changed paths:
M reference/random/book.xml
Diff:
diff --git a/reference/random/book.xml b/reference/random/book.xml
index 8fc70ff418b..bb1461a36e5 100644
--- a/reference/random/book.xml
+++ b/reference/random/book.xml
@@ -2,7 +2,7 @@
<book xml:id="book.random" xmlns="http://docbook.org/ns/docbook" \
xmlns:xlink="http://www.w3.org/1999/xlink"> <?phpdoc extension-membership="core" ?>
<title>Random Number Generators and Functions Related to Randomness</title>
- <titleabbrev>random</titleabbrev>
+ <titleabbrev>Random</titleabbrev>
<preface xml:id="intro.random">
&reftitle.intro;
--
PHP Documentation Commits Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic