1<?php
2/**
3 * Options for the syntaxmantis plugin
4 *
5 * @author Jan Müller <muller.jan@gmail.com>
6 */
7
8
9$meta['mantis_server'] = array('string');
10