'.NL;
}
/**
* prints a section editing button
* used as a callback in html_secedit
*
* @author Andreas Gohr
*/
function html_secedit_button($matches){
global $ID;
global $INFO;
$edittarget = ($matches[1] === 'SECTION') ? 'plain' :
strtolower($matches[1]);
$section = $matches[3];
$name = $matches[2];
$secedit = '';
$secedit .= '