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, 4 deletions

diff --git a/inc/common.php b/inc/common.php
index 26a0526b8..93e2df34f 100644
--- a/inc/common.php
+++ b/inc/common.php
@@ -736,10 +736,7 @@ function saveWikiText($id,$text,$summary,$minor=false){
     saveOldRevision($id);
     // add a changelog entry if this edit came from outside dokuwiki
     if ($old>$oldRev) {
-      addLogEntry($old, $id);
-      // send notify mails
-      notify($id,'admin',$oldRev,'',false);
-      notify($id,'subscribers',$oldRev,'',false);
+      addLogEntry($old, $id, 'E', $lang['external_edit'], '', array('ExternalEdit'=>true));
       // remove soon to be stale instructions
       $cache = new cache_instructions($id, $file);
       $cache->removeCache();