<?php
/**
 * Version details
 *
 * @package    jsxgraph filter
 * @copyright  2013 Michael Gerhaeuser, Matthias Ehmann, Carsten Miller, Alfred Wassermann <alfred.wassermann@uni-bayreuth.de>
 * @license    http://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later
 */

$string['filtername'] = 'JSXGraph';

$string['divid'] = 'div id';
$string['divid_desc'] = 'ID of the division containing JSXGraph. Default: box. Number is added automatically, e.g. box0, box1, ...';

$string['boardvar'] = 'board var name';
$string['boardvar_desc'] = 'Variable name of the JSXGraph board (needed only if file is read)';

$string['width'] = 'width';
$string['width_desc'] = 'Width of JSXGraph container';

$string['height'] = 'height';
$string['height_desc'] = 'Height of JSXGraph container';

