mirror of https://github.com/php/php-src
Browse Source
<file>foo.php</file> is now <file name="foo.php/> Added tags for configure-like substitutions. # the packager will handle both for a whileexperimental/new_ui_api
1 changed files with 14 additions and 6 deletions
Loading…
Reference in new issue