make theme_revisions() synonym to theme_page()

diff --git a/themes/default.sh b/themes/default.sh
index d82764bc7bde6b3361b07e4ea3a3af972efa6e6f..563ea3afdbd8676a428bbb3b3fec30a57bff680e 100755 (executable)
--- 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