| Index: trunk/extensions/Push/Push.i18n.php |
| — | — | @@ -50,7 +50,7 @@ |
| 51 | 51 | 'push-tab-inc-templates' => 'Include templates', |
| 52 | 52 | 'push-tab-used-templates' => '(Used {{PLURAL:$2|template|templates}}: $1)', |
| 53 | 53 | 'push-tab-no-used-templates' => '(No templates are used on this page.)', |
| 54 | | - 'push-tab-inc-files' => 'Include files', |
| | 54 | + 'push-tab-inc-files' => 'Include embedded files', |
| 55 | 55 | 'push-tab-err-fileinfo' => 'Could not obtain which files are used on this page. None have been pushed.', |
| 56 | 56 | 'push-tab-err-filepush-unknown' => 'File push failed for an unknown reason.', |
| 57 | 57 | 'push-tab-err-filepush' => 'File push failed: $1', |
| — | — | @@ -71,7 +71,7 @@ |
| 72 | 72 | 'push-special-err-token-failed' => 'Could not obtain an edit token on the target wiki.', |
| 73 | 73 | 'push-special-err-pageget-failed' => 'Could not obtain local page content.', |
| 74 | 74 | 'push-special-err-push-failed' => 'Target wiki refused the pushed page.', |
| 75 | | - 'push-special-inc-files' => 'Include files', |
| | 75 | + 'push-special-inc-files' => 'Include embedded files', |
| 76 | 76 | 'push-special-err-imginfo-failed' => 'Could not determine if any files needed to be pushed.', |
| 77 | 77 | 'push-special-obtaining-fileinfo' => '$1: Obtaining file information...', |
| 78 | 78 | 'push-special-pushing-file' => '$1: Pushing file $2...', |