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) (%user% and %mail% are replaced by the corresponding values)'; 19