php/archived-php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2026-03-31 12:42:29 +02:00
Code Issues Packages Projects Releases Wiki Activity

* rename "initials" to "user" for clarity

Browse Source
This commit is contained in:
Stig Bakken
2001-09-04 03:23:56 +00:00
parent 83df136d28
commit 04439c305b
1 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
pear/package.dtd
View File

@@ -1,5 +1,5 @@
<!--
$Id: package.dtd,v 1.8 2001-09-02 00:11:44 jmcastagnetto Exp $
$Id: package.dtd,v 1.9 2001-09-04 03:23:56 ssb Exp $
This is the PEAR package description, version 1.1b1.
It should be used with the informal public identifier:
@@ -44,13 +44,13 @@
%global.atts;
>
<!--=============== ELEMENT: maintainer ====================================-->
<!ELEMENT maintainer (initials, name, email)>
<!ELEMENT maintainer (user, name, email)>
<!ATTLIST maintainer
%global.atts;
>
<!--=============== ELEMENT: initials ======================================-->
<!ELEMENT initials (#PCDATA)>
<!ATTLIST initials
<!--=============== ELEMENT: user ==========================================-->
<!ELEMENT user (#PCDATA)>
<!ATTLIST user
%global.atts;
>
<!--=============== ELEMENT: email =========================================-->