Home
last modified time | relevance | path

Searched refs:arginfoFile (Results 1 – 1 of 1) sorted by relevance

/PHP-8.0/build/
H A Dgen_stub.php44 $arginfoFile = str_replace('.stub.php', '_arginfo.h', $stubFile);
49 $oldStubHash = extractStubHash($arginfoFile);
58 …forceRegeneration || $stubHash !== $oldStubHash) && file_put_contents($arginfoFile, $arginfoCode))…
59 echo "Saved $arginfoFile\n";
83 function extractStubHash(string $arginfoFile): ?string { argument
84 if (!file_exists($arginfoFile)) {
88 $arginfoCode = file_get_contents($arginfoFile);

Completed in 6 milliseconds