/usr/lib/php/20170718/

This file is indexed.

/usr/lib/php/20170718/ is in php7.2-dev 7.2.3-1ubuntu1.

This file is owned by root:root, with mode 0o755.

File	Mime Type	Owner	Mode	Size
`..`
`/usr/lib/php/20170718/build/`		root:root	0o755
`/usr/lib/php/20170718/build/Makefile.global`	text/x-makefile	root:root	0o644	7.0 KB
`/usr/lib/php/20170718/build/acinclude.m4`	text/x-m4	root:root	0o644	84.3 KB
`/usr/lib/php/20170718/build/ax_check_compile_flag.m4`	text/plain	root:root	0o644	3.3 KB
`/usr/lib/php/20170718/build/config.guess`	text/x-shellscript	root:root	0o755	43.2 KB
`/usr/lib/php/20170718/build/config.sub`	text/x-shellscript	root:root	0o755	35.3 KB
`/usr/lib/php/20170718/build/libtool.m4`	text/x-c	root:root	0o644	225.0 KB
`/usr/lib/php/20170718/build/ltmain.sh`	text/x-shellscript	root:root	0o644	316.8 KB
`/usr/lib/php/20170718/build/mkdep.awk`	text/plain	root:root	0o644	2.2 KB
`/usr/lib/php/20170718/build/phpize.m4`	text/x-c	root:root	0o644	4.6 KB
`/usr/lib/php/20170718/build/run-tests.php`	text/plain	root:root	0o644	83.6 KB
`/usr/lib/php/20170718/build/scan_makefile_in.awk`	text/plain	root:root	0o644	410 bytes
`/usr/lib/php/20170718/build/shtool`	text/x-shellscript	root:root	0o755	64.2 KB