diff --git a/php/src/ext/utils.php b/php/src/ext/utils.php new file mode 100644 index 0000000..7fc16d3 --- /dev/null +++ b/php/src/ext/utils.php @@ -0,0 +1,12 @@ +