This website requires JavaScript.
Explore
Help
Register
Sign In
php
/
archived-php-src
Watch
1
Star
0
Fork
0
You've already forked archived-php-src
mirror of
https://github.com/php/php-src.git
synced
2026-03-24 08:12:21 +01:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
5bfd3fa40f3ea63ec10e266c459c1f12dceac6bd
archived-php-src
/
scripts
History
Tim Düsterhus
fa1a7f027c
Merge branch 'PHP-8.2'
...
* PHP-8.2: makedist: Use fixed owner/group in generated tarball (
#10613
)
2023-02-18 11:35:29 +01:00
..
dev
makedist: Use fixed owner/group in generated tarball (
#10613
)
2023-02-18 11:17:08 +01:00
man1
[skip ci] Update year to 2023 (
#10374
)
2023-01-19 12:01:29 +01:00
Makefile.frag
Move gen_stub.php to build directory and install it so phpize can take care of it, and thus extension can use it as it is already in Makefile
2020-04-03 10:48:20 +02:00
php-config.in
add ini config details to php-config
2019-06-29 05:26:21 +02:00
phpize.in
Move gen_stub.php to build directory and install it so phpize can take care of it, and thus extension can use it as it is already in Makefile
2020-04-03 10:48:20 +02:00
phpize.m4
Fix phpize to include _GNU_SOURCE by default
2022-06-16 20:49:03 +01:00