diff options
author | Andrey Andreev <narf@devilix.net> | 2017-10-02 09:48:20 +0200 |
---|---|---|
committer | Andrey Andreev <narf@devilix.net> | 2017-10-02 09:48:20 +0200 |
commit | 09a05e1d9df3e71dec4f622ae28dafbce9515273 (patch) | |
tree | 7432235de3b9cb2d87a1d6ff01277eb46df6c021 /phpdoc.dist.xml | |
parent | db92b5b336cbc6603f613916bde55940c9c24a05 (diff) |
[ci skip] Drop docs section about short PHP tags (close #5280)
Diffstat (limited to 'phpdoc.dist.xml')
0 files changed, 0 insertions, 0 deletions