diff options
| author | Cherrg <michael@gnehr.de> | 2019-07-08 10:20:22 +0200 |
|---|---|---|
| committer | Lauris BH <lauris@nix.lv> | 2019-07-08 11:20:22 +0300 |
| commit | e5b247ea8e77689bb14e5f304ada36f9326f0904 (patch) | |
| tree | 90426d29833e24eaa5c04ff2b09bd06f5175049f /options | |
| parent | d7211c5b5d90a3e6bc9c1550e2c0bf7d0d9ad66f (diff) | |
| download | gitea-e5b247ea8e77689bb14e5f304ada36f9326f0904.tar.gz gitea-e5b247ea8e77689bb14e5f304ada36f9326f0904.zip | |
wiki - page revisions list (#7369)
fix #7
* add wiki page revision list
* mobile improvements
* css improvements for long usernames
* split renderWikiPage into 3 functions
Signed-off-by: Michael Gnehr <michael@gnehr.de>
Diffstat (limited to 'options')
| -rw-r--r-- | options/locale/locale_en-US.ini | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/options/locale/locale_en-US.ini b/options/locale/locale_en-US.ini index 0c83a7aef1..6ef1277c62 100644 --- a/options/locale/locale_en-US.ini +++ b/options/locale/locale_en-US.ini @@ -1034,6 +1034,9 @@ wiki.save_page = Save Page wiki.last_commit_info = %s edited this page %s wiki.edit_page_button = Edit wiki.new_page_button = New Page +wiki.file_revision = Page Revision +wiki.wiki_page_revisions = Wiki Page Revisions +wiki.back_to_wiki = Back to wiki page wiki.delete_page_button = Delete Page wiki.delete_page_notice_1 = Deleting the wiki page '%s' cannot be undone. Continue? wiki.page_already_exists = A wiki page with the same name already exists. |