Add an option for customizing git working tree
[sitka-infra/dokuwiki-plugin-gitbacked.git] / lang / en / settings.php
1 <?php
2
3 /**
4  * English strings for the gitbacked plugin
5  *
6  * @author Wolfgang Gassler <wolfgang@gassler.org>
7  */
8
9 $lang['pushAfterCommit'] = 'Push active branch to remote origin after every commit';
10 $lang['periodicPull'] = 'Pull the remote git repository every "periodicMinutes" triggered by a http page request';
11 $lang['periodicMinutes'] = 'Timespan (in minutes) between periodic pull requests';
12 $lang['commitPageMsg']  = 'Commit message for page edits (%user%,%summary%,%page% are replaced by the corresponding values)';
13 $lang['commitPageMsgDel']       = 'Commit message for deleted pages (%user%,%summary%,%page% are replaced by the corresponding values)';
14 $lang['commitMediaMsg'] = 'Commit message for media files (%user%,%media% are replaced by the corresponding values)';
15 $lang['commitMediaMsgDel']      = 'Commit message for deleted media files (%user%,%media% are replaced by the corresponding values)';
16 $lang['repoPath']       = 'Path of the git repo (e.g. the savedir '.$GLOBALS['conf']['savedir'].')';
17 $lang['repoWorkDir']    = 'Path of the git working tree, must contain "pages" and "media" directories (e.g. the savedir '.$GLOBALS['conf']['savedir'].')';
18 $lang['addParams'] = 'Additional git parameters (added to the git execution command)';