You could reuse `Phpvars.open_php` here (or directly where you need it in the code).