Searched refs:arginfoFile (Results 1 – 1 of 1) sorted by relevance
66 $arginfoFile = "{$stubFilenameWithoutExtension}_arginfo.h";71 $oldStubHash = extractStubHash($arginfoFile);113 …forceRegeneration || $stubHash !== $oldStubHash) && file_put_contents($arginfoFile, $arginfoCode))…114 echo "Saved $arginfoFile\n";152 function extractStubHash(string $arginfoFile): ?string { argument153 if (!file_exists($arginfoFile)) {157 $arginfoCode = file_get_contents($arginfoFile);
Completed in 49 milliseconds