2015-03-25 12:30:26 -07:00
|
|
|
<?php
|
|
|
|
|
|
|
|
/**
|
|
|
|
* English strings for the gitbacked plugin
|
|
|
|
*
|
|
|
|
* @author Wolfgang Gassler <wolfgang@gassler.org>
|
|
|
|
*/
|
|
|
|
|
|
|
|
$lang['pushAfterCommit'] = 'Push active branch to remote origin after every commit';
|
|
|
|
$lang['periodicPull'] = 'Pull the remote git repository every "periodicMinutes" triggered by a http page request';
|
|
|
|
$lang['periodicMinutes'] = 'Timespan (in minutes) between periodic pull requests';
|
|
|
|
$lang['commitPageMsg'] = 'Commit message for page edits (%user%,%summary%,%page% are replaced by the corresponding values)';
|
|
|
|
$lang['commitPageMsgDel'] = 'Commit message for deleted pages (%user%,%summary%,%page% are replaced by the corresponding values)';
|
|
|
|
$lang['commitMediaMsg'] = 'Commit message for media files (%user%,%media% are replaced by the corresponding values)';
|
|
|
|
$lang['commitMediaMsgDel'] = 'Commit message for deleted media files (%user%,%media% are replaced by the corresponding values)';
|
|
|
|
$lang['repoPath'] = 'Path of the git repo (e.g. the savedir '.$GLOBALS['conf']['savedir'].')';
|
|
|
|
$lang['repoWorkDir'] = 'Path of the git working tree, must contain "pages" and "media" directories (e.g. the savedir '.$GLOBALS['conf']['savedir'].')';
|
2017-10-14 20:52:26 -07:00
|
|
|
$lang['gitPath'] = 'Path to the git binary (if empty, the default "/usr/bin/git" will be used)';
|
2015-03-25 12:30:26 -07:00
|
|
|
$lang['addParams'] = 'Additional git parameters (added to the git execution command) (%user% and %mail% are replaced by the corresponding values)';
|
2017-10-14 20:52:26 -07:00
|
|
|
$lang['ignorePaths'] = 'Paths/files which are ignored and not added to git (comma-separated)';
|