diff options
| author | Lunny Xiao <xiaolunwen@gmail.com> | 2023-05-04 15:27:15 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-04 15:27:15 +0800 |
| commit | b1cee3fa3bbe9e54c3ced95fa9a38caa5b3494b9 (patch) | |
| tree | 7db697eaf035465e8fa1ec65a23c4356aebeb308 /options | |
| parent | 5d77691d428d5302ee4df6c2a936b8e2ea9dca7e (diff) | |
| download | gitea-b1cee3fa3bbe9e54c3ced95fa9a38caa5b3494b9.tar.gz gitea-b1cee3fa3bbe9e54c3ced95fa9a38caa5b3494b9.zip | |
Don't display creating page button in a mirror wiki repository (#24395)
A mirror repository with wiki is also a mirror. So creating page from UI
should be disabled. This PR hides the button like other places.
Diffstat (limited to 'options')
| -rw-r--r-- | options/locale/locale_en-US.ini | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/options/locale/locale_en-US.ini b/options/locale/locale_en-US.ini index 180fd1c18d..83b978bee5 100644 --- a/options/locale/locale_en-US.ini +++ b/options/locale/locale_en-US.ini @@ -1904,6 +1904,7 @@ settings.sync_mirror = Synchronize Now settings.mirror_sync_in_progress = Mirror synchronization is in progress. Check back in a minute. settings.site = Website settings.update_settings = Update Settings +settings.update_mirror_settings = Update Mirror Settings settings.branches.switch_default_branch = Switch Default Branch settings.branches.update_default_branch = Update Default Branch settings.branches.add_new_rule = Add New Rule |