<?php
$inputParameters = array(
array('name' => 'p1', 'value' => 1, 'type' => 'number'),
array('name' => 'p2', 'value' => 'enabled', 'type' => 'string'),
array('name' => 'p3', 'value' => '2013-10-18', 'type' => 'string')
);
//echo ['p1', 'p2', 'p3'].map(function($name){ return ':' . $name; }).join(',');
echo join(', ', array_map(function($parameter) { return ':' . $parameter['name']; }, $inputParameters));
?>
preferences:
56.81 ms | 402 KiB | 5 Q