Home
last modified time | relevance | path

Searched refs:file_prefix (Results 1 - 1 of 1) sorted by relevance

/php-7.4/ext/
H A Dext_skel.php(last modified 04/02/2020 08:00)35 $file_prefix = './'; variable
38 $file_prefix = ''; variable
62 {$file_prefix}configure
72 {$file_prefix}buildconf
73 {$file_prefix}configure --enable-extension_name
140 $file_prefix = './'; variable
143 $file_prefix = ''; variable
151 printf('%sconfigure%s', $file_prefix, PHP_EOL);

Completed in 27 milliseconds