*/ // for the configuration manager $lang['sourcetree'] = 'Uploadverzeichnis, aus dem der Dokumentstamm in das Wiki kopiert wird.'; $lang['destination_namespace'] = "Namensraum, in dem die Wikiseiten für die Dokumente generiert werden.";