<?php
/**
 * Options for the mediasyntax plugin
 */

$meta['redirectPauseTime'] = array('numeric');