maj.world

commit 7694a084564a1d83e96cf67bf8e7ab7df6b85130
tree 68e4e3a038932c5ecc713d6397863ae18a215f72
parent e5ce10b18fa0c083b798c719a5621b4b1c91dc1b
author Engels Antonio <engels@majcms.org> 1277314193 +0800
committer Engels Antonio <engels@majcms.org> 1277314193 +0800

    maj-0.14-20071211-bb.zip

diff --git a/images/widget.back.png b/images/widget.back.png
new file mode 100644
index 0000000..f1c672b
Binary files /dev/null and b/images/widget.back.png differ
diff --git a/index.php b/index.php
index 8096e76..90873df 100644
--- a/index.php
+++ b/index.php
@@ -1798,6 +1798,13 @@ foreach ($disp as $d) {
        // start of wiki mod (20071130)
 
        if (isset($_SESSION['logged_in']) and ($_SESSION['logged_in'] != $login_username) and file_exists("data/members/active/{$_SESSION['logged_in']}") and file_exists("data/wiki.txt") and file_exists("$dir/$d/edit.txt") and file_exists("data/members/active/{$_SESSION['logged_in']}/rw.txt") and !file_exists("$dir/$d/passwd.txt")) {
+
+               if (file_exists("$dir/$d/wiki/delta") and (count(glob("$dir/$d/wiki/delta/*")) > 0)) {
+                       echo "<a href=wiki.php?entry=$d>";
+                       echo "<img src=images/widget.back.png border=0 width=11 height=11 align=right alt=revisions>";
+                       echo "</a>";
+               }
+
                echo '<a href=edit.php?entry=';
                echo $d;
                echo '><img src=images/widget.edit.png border=0 width=11 height=11 align=right alt="edit entry"></a>';
@@ -1817,6 +1824,13 @@ foreach ($disp as $d) {
                        echo '><img src=images/widget.move.png border=0 width=11 height=11 align=right alt="move to comment"></a>';
                }
 
+
+               if (file_exists("$dir/$d/wiki/delta") and (count(glob("$dir/$d/wiki/delta/*")) > 0)) {
+                       echo "<a href=wiki.php?entry=$d>";
+                       echo "<img src=images/widget.back.png border=0 width=11 height=11 align=right alt=revisions>";
+                       echo "</a>";
+               }
+
                echo '<a href=edit.php?entry=';
                echo $d;
                echo '><img src=images/widget.edit.png border=0 width=11 height=11 align=right alt="edit entry"></a>';