You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: lang/en/lang.php
+3-1Lines changed: 3 additions & 1 deletion
Original file line number
Diff line number
Diff line change
@@ -48,6 +48,8 @@
48
48
$lang['remotedelfail'] = 'remote delete failed:';
49
49
$lang['skipped'] = 'skipped:';
50
50
51
+
$lang['js']['list'] = 'A list of files that differ between your local and the remote wiki is shown below. You need to decide which revisions you want to keep.'; #from list.txt
52
+
51
53
$lang['js']['file'] = 'Page or Media File';
52
54
$lang['js']['local'] = 'Local Wiki';
53
55
$lang['js']['remote'] = 'Remote Wiki';
@@ -60,7 +62,7 @@
60
62
$lang['js']['pulldel'] = 'Delete local revision.';
61
63
$lang['js']['keep'] = 'Skip this file and keep both revisions as is.';
62
64
63
-
$lang['js']['insync'] = 'Both wiki namespaces are in sync. Nothing to do.';
65
+
$lang['js']['insync'] = 'There were no differences found between your local wiki and the remote wiki. No need to synchronize.';#from nochange.txt
0 commit comments