<?php

/**
 * Metadata for configuration manager
 * Additions for the gtime plugin
 *
 * @author    Michael Kirchner <michael@hirnreck.de>
 */



$meta['Timestamper_URL'] = array ( 'string' );
$meta['Extender_URL'] = array ( 'string' );
$meta['Publications_URL'] = array ( 'string' );
$meta['Publications_TTL'] = array ( 'numeric' );

//$meta[] = array ( , => );