- json_encode: documentation ( source)
<?php
$a = array('cols' => array(
'id' => '',
'label' => 'Option',
'pattern' => '',
'type' => 'string'
));
echo json_encode($a);