fix: wrong secedit when page changes

Binds secedit buttons to file modification stamp ('lastmod'), so that if the page changes in between, editing of the old revision starts.

darcs-hash:20060522182043-3c565-17e6ac5d018300dd009c24218f4b1b8c8ae80363.gz

inc/html.php

@@ -136,12 +136,14 @@ function html_editbutton(){
 function html_secedit_button($section,$p){
   global $ID;
   global $lang;
+  global $INFO;
   $secedit  = '';
 #  if($p) $secedit .= "</p>\n";
   $secedit .= '<div class="secedit">';
   $secedit .= html_btn('secedit',$ID,'',
                         array('do'      => 'edit',
-                              'lines'   => "$section"),
+                              'lines'   => "$section",
+                              'rev' => $INFO['lastmod']),
                               'post');
   $secedit .= '</div>';
 #  if($p) $secedit .= "\n<p>";