]> granicus.if.org Git - php/commit
projects / php / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5cf9710) | patch
Fixed build (Only PHP above 7.1 could run the gen_stub.php)
authorXinchen Hui <laruence@gmail.com>
Wed, 12 Feb 2020 06:22:01 +0000 (14:22 +0800)
committerXinchen Hui <laruence@gmail.com>
Wed, 12 Feb 2020 06:22:01 +0000 (14:22 +0800)
commit9e5650265c21245a1920ae444d70806600039195
tree6aedbe7d4427929c9deb085bf40543ecf96e6cc4tree | snapshot
parent5cf9710ba8dfd4734944795c442465900f948a90commit | diff
Fixed build (Only PHP above 7.1 could run the gen_stub.php)
build/Makefile.global diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.