diff options
author | Remi Collet <remi@remirepo.net> | 2019-10-21 17:39:14 +0200 |
---|---|---|
committer | Remi Collet <remi@remirepo.net> | 2019-10-21 17:39:14 +0200 |
commit | 8216eb1b5a4a80e804e56185d5c433443943a929 (patch) | |
tree | 2a538ae4b5b24c3ae948bf502f11f9fb756ff9bb | |
parent | aa866639c10bee084c4290dbc69740af5e64d9f6 (diff) |
add minimal ex for preload (no ffi)
-rw-r--r-- | README | 8 | ||||
-rw-r--r-- | foo.php | 3 | ||||
-rw-r--r-- | preload-foo.inc | 6 |
3 files changed, 17 insertions, 0 deletions
@@ -28,3 +28,11 @@ http://creativecommons.org/licenses/by-sa/4.0/ Test script using above stuff +# preload-foo.inc + + Minimal Foo class + +# foo + + Test script using above stuff + @@ -0,0 +1,3 @@ +<?php +printf("Class Remi\Foo %s\n", + class_exists("\\Remi\\Foo") ? "exists" : "is missing"); diff --git a/preload-foo.inc b/preload-foo.inc new file mode 100644 index 0000000..31be7d6 --- /dev/null +++ b/preload-foo.inc @@ -0,0 +1,6 @@ +<?php +namespace Remi; + +class Foo { +} + |