Linux vps-61133.fhnet.fr 4.9.0-19-amd64 #1 SMP Debian 4.9.320-2 (2022-06-30) x86_64
Apache/2.4.25 (Debian)
Server IP : 93.113.207.21 & Your IP : 216.73.216.112
Domains :
Cant Read [ /etc/named.conf ]
User : www-data
Terminal
Auto Root
Create File
Create Folder
Localroot Suggester
Backdoor Destroyer
Readme
/
usr /
src /
php-7.4.33 /
ext /
readline /
Delete
Unzip
Name
Size
Permission
Date
Action
tests
[ DIR ]
drwxrwxr-x
2022-10-31 11:36
CREDITS
26
B
-rw-rw-r--
2022-10-31 11:36
config.m4
3.52
KB
-rw-rw-r--
2022-10-31 11:36
config.w32
545
B
-rw-rw-r--
2022-10-31 11:36
php_readline.h
1.46
KB
-rw-rw-r--
2022-10-31 11:36
readline.c
17.64
KB
-rw-rw-r--
2022-10-31 11:36
readline_cli.c
18.73
KB
-rw-rw-r--
2022-10-31 11:36
readline_cli.h
1.69
KB
-rw-rw-r--
2022-10-31 11:36
Save
Rename
// vim:ft=javascript ARG_WITH("readline", "Readline support", "yes"); if (PHP_READLINE != "no") { if (CHECK_LIB("edit_a.lib;edit.lib", "readline", PHP_READLINE) && CHECK_HEADER_ADD_INCLUDE("editline/readline.h", "CFLAGS_READLINE")) { EXTENSION("readline", "readline.c readline_cli.c"); ADD_FLAG("CFLAGS_READLINE", "/D HAVE_LIBEDIT"); ADD_FLAG("CFLAGS_READLINE", "/D HAVE_RL_COMPLETION_MATCHES"); ADD_FLAG("CFLAGS_READLINE", "/D HAVE_HISTORY_LIST"); } else { WARNING("readline not enabled; libraries and headers not found"); } }