<?php

/*
 * configuration metadata
 *
 */

$meta['default_update_period']    = array('numeric');
$meta['runner_max_execution_time']    = array('numeric');
$meta['runner_max_tasks']    = array('numeric');
$meta['doxygen_executable'] = array('string');