diff options
| author | Remi Collet <remi@remirepo.net> | 2019-10-18 15:00:46 +0200 |
|---|---|---|
| committer | Remi Collet <remi@remirepo.net> | 2019-10-18 15:00:46 +0200 |
| commit | 68bb93d4659f1665719af2a284b672d0d80adf01 (patch) | |
| tree | 7048aec872dda8be875aa74f4fb0de519e281053 /preload.php | |
initial work
Diffstat (limited to 'preload.php')
| -rw-r--r-- | preload.php | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/preload.php b/preload.php new file mode 100644 index 0000000..1af70d6 --- /dev/null +++ b/preload.php @@ -0,0 +1,8 @@ +<?php +foreach (glob(__DIR__ . '/preload-*.h') as $f) { + \FFI::load($f); +} +foreach (glob(__DIR__ . '/preload-*.inc') as $f) { + opcache_compile_file($f); +} + |