diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2019-04-11 11:05:42 +0200 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-04-11 11:05:42 +0200 |
commit | d31104faccd8b702cc6c7a365eb70a4ab81d9498 (patch) | |
tree | 42f0e98c2abe66899b560ec2fa42fc8ff9a478c4 /ext/mbstring/php_mbregex.c | |
parent | 0351552e1eb4b71360dd2f0c77e7aa1942f8346d (diff) | |
download | php-git-d31104faccd8b702cc6c7a365eb70a4ab81d9498.tar.gz |
Mark zend_jit_print_regset as unused
This is a debugging function, so it's usually not going to be used
and we don't want to see a warning about that.
Diffstat (limited to 'ext/mbstring/php_mbregex.c')
0 files changed, 0 insertions, 0 deletions