]> granicus.if.org Git - php/commitdiff
required ext. header files may be specified in <deps>
authorHartmut Holzgraefe <hholzgra@php.net>
Wed, 23 Apr 2003 16:24:24 +0000 (16:24 +0000)
committerHartmut Holzgraefe <hholzgra@php.net>
Wed, 23 Apr 2003 16:24:24 +0000 (16:24 +0000)
scripts/ext_skel_ng/extension.dtd

index 1c58466d0c2bbe877959b9db0a3ebd435c12645c..f6607dc5ce67c84600984c788295990fea302771 100644 (file)
   function   CDATA #REQUIRED
   searchpath CDATA #IMPLIED
 >
+<!ELEMENT header (#PCDATA)>
+<!ATTLIST header
+  name       CDATA #REQUIRED
+  function   CDATA #IMPLIED
+  searchpath CDATA #IMPLIED
+  prepend  (yes|no) "no"
+>
 
 <!ELEMENT resources (resource)*>
 <!ELEMENT resource (description?, destruct?)>