<?php
/**
 * Options for the judge plugin
 *
 * @author Hamid Zarrabi-Zadeh <zarrabi@sharif.edu>
 */

$meta['upload_path'] = array('string');
$meta['editors_group'] = array('string');