<?php
/**
 * Options for the syntaxmantis plugin
 *
 * @author Jan Müller <muller.jan@gmail.com>
 */


$meta['mantis_server'] = array('string');
