1<?php
2
3/*
4 * configuration metadata
5 *
6 */
7
8$meta['default_update_period'] = array('numeric');
9$meta['runner_max_execution_time'] = array('numeric');
10$meta['runner_max_tasks'] = array('numeric');
11$meta['doxygen_executable'] = array('string');
12