]> granicus.if.org Git - php/commit
projects / php / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a87a2f4) | patch
Eliminate duplication, increment_string() performs it anyway.
authorDmitry Stogov <dmitry@zend.com>
Wed, 17 Jan 2018 17:09:28 +0000 (20:09 +0300)
committerDmitry Stogov <dmitry@zend.com>
Wed, 17 Jan 2018 17:09:28 +0000 (20:09 +0300)
commit25a44cb99eb7a9b0be90df6d35602a24af4b3345
tree0b4d5b4eef543597e0e35ef7b8016e24b9474fc8tree | snapshot
parenta87a2f464b813ac2f1474d1fe0da78c33020c5c3commit | diff
Eliminate duplication, increment_string() performs it anyway.
Zend/zend_execute.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.