mirror of
https://github.com/php/php-src.git
synced 2024-09-22 02:17:32 +00:00
Project programming language may be specified in <deps> tag
for now only 'c' and 'cpp' for c++ are supported
This commit is contained in:
parent
92096ac753
commit
31d5ab51b0
@ -1,6 +1,3 @@
|
||||
<!--
|
||||
-->
|
||||
|
||||
<!ELEMENT extension (name|summary|description|license|maintainers|logo|release|changelog|functions|constants|globals|deps|resources|code)*>
|
||||
|
||||
<!ELEMENT name (#PCDATA)>
|
||||
@ -73,6 +70,9 @@
|
||||
>
|
||||
|
||||
<!ELEMENT deps (with|lib|header|file|program)*>
|
||||
<!ATTLIST deps
|
||||
language (c|cpp) "c"
|
||||
>
|
||||
<!ELEMENT with (#PCDATA)>
|
||||
<!ATTLIST with
|
||||
defaults CDATA #REQUIRED
|
||||
|
Loading…
Reference in New Issue
Block a user