diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2019-06-11 17:19:43 +0200 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-06-12 09:26:34 +0200 |
| commit | 852ab5d83fc350cabbe5d80237410ab9e2d47176 (patch) | |
| tree | 2ca6fefb206cc4dbecca67827fafb6da0bc56086 /Zend/zend_ini_parser.y | |
| parent | c54a247cb0d15e683131daf16ec932fc1b30af43 (diff) | |
| download | php-git-852ab5d83fc350cabbe5d80237410ab9e2d47176.tar.gz | |
Use %define api.pure instead of %pure-parser
%pure-parser is deprecated. In our case there is no difference between
true & full, as we don't use locations.
Diffstat (limited to 'Zend/zend_ini_parser.y')
| -rw-r--r-- | Zend/zend_ini_parser.y | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Zend/zend_ini_parser.y b/Zend/zend_ini_parser.y index d0ac75a734..0a90d0fa26 100644 --- a/Zend/zend_ini_parser.y +++ b/Zend/zend_ini_parser.y @@ -289,7 +289,7 @@ static void zval_ini_dtor(zval *zv) %} %expect 0 -%pure-parser +%define api.pure full %token TC_SECTION %token TC_RAW |