From 2c724512b2e744027ae0a43d571f2e0c9fd820f3 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Paul=20H=C3=A4nsch?= <paul@plutz.net>
Date: Thu, 27 Jul 2023 09:17:41 +0200
Subject: [PATCH] make theme_revisions() synonym to theme_page()

---
 themes/default.sh | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/themes/default.sh b/themes/default.sh
index d82764b..563ea3a 100755
--- a/themes/default.sh
+++ b/themes/default.sh
@@ -108,13 +108,7 @@ theme_editor(){
 	EOF
 }
 
-theme_revisions(){
-  local page="$1" title
-  title="${page%/}"; title="${title##*/}"
-
- "$_EXEC/macros/revisions" "$page" \
-  | theme_page - "Revisions: $title"
-}
+theme_revisions(){ theme_page "$@"; }
 
 theme_attachments(){
   local page="$1" title
-- 
2.39.2