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['commitPageMsg'] = 'Commit message for page edits (%user%,%summary%,%page% are replaced by the corresponding values)'; 11$lang['commitPageMsgDel'] = 'Commit message for deleted pages (%user%,%summary%,%page% are replaced by the corresponding values)'; 12$lang['commitMediaMsg'] = 'Commit message for media files (%user%,%media% are replaced by the corresponding values)'; 13$lang['commitMediaMsgDel'] = 'Commit message for deleted media files (%user%,%media% are replaced by the corresponding values)'; 14$lang['repoPath'] = 'Path of the git repo (e.g. the savedir '.$GLOBALS['conf']['savedir'].')'; 15$lang['addParams'] = 'Additional git parameters (added to the git execution command)';