<?php
/**
 * English language file
 *
 * @license    GPL 2 (http://www.gnu.org/licenses/gpl.html)
 * @author     Frank Schiebel <frank@linuxmuster.net>
 */
 
// for the configuration manager
$lang['sourcetree']            = 'Import directory from which the document tree is be copied to the wiki.';
$lang['destination_namespace'] = "Namespace in which the wiki pages for the documens are created.";