identify external edits in UI

Some changes to clearly identify when wiki pages have been edited outside
Dokuwiki. Also correctly attributes external changes from an unknown
author. Avoids sending extra emails when recording old external edits.

Adds a new language string:
$lang['external_edit']

darcs-hash:20061207032825-05dcb-3234bee57cb165c848b33abb9251502589b0f3cb.gz

1 files changed, 1 insertions, 1 deletions

diff --git a/inc/html.php b/inc/html.php
index d5a7a232e..dc11b17d7 100644
--- a/inc/html.php
+++ b/inc/html.php
@@ -481,7 +481,7 @@ function html_revisions($first=0){
     print ' – ';
     print $INFO['sum'];
     print ' <span class="user">';
-    print $INFO['editor'];
+    print (empty($INFO['editor']))?('('.$lang['external_edit'].')'):$INFO['editor'];
     print '</span> ';
 
     print '('.$lang['current'].')';