fix default options
authorMichael Wallner <mike@php.net>
Mon, 20 Dec 2021 15:27:58 +0000 (16:27 +0100)
committerMichael Wallner <mike@php.net>
Mon, 20 Dec 2021 15:28:46 +0000 (16:28 +0100)
commitd7bbeb1d8fb5cf9f507ac1f19de226ba226054c8
treef5d5eca858b850e39b83b8d01a65e41240a04c20
parentfc2f47f9646e251f183eae91d27ee52a62ed7c25
fix default options
ion.c
ion.stub.php
ion_arginfo.h
ion_private.h