# HG changeset patch # User Dan # Date 1250883563 14400 # Node ID 86feb1c7ca3fb97635923c35ee4328306fa8d60e # Parent 5f623b0de18e5a7deeed819c3c5f250373ca0eff Wiki formatter: heading IDs are now name based ("head:" . sanitize_page_id($text)) instead of tocN. diff -r 5f623b0de18e -r 86feb1c7ca3f includes/wikiengine/render_xhtml.php --- a/includes/wikiengine/render_xhtml.php Fri Aug 21 15:38:40 2009 -0400 +++ b/includes/wikiengine/render_xhtml.php Fri Aug 21 15:39:23 2009 -0400 @@ -25,11 +25,10 @@ public function heading($text, $pieces) { - static $tocid = -1; foreach ( $pieces as $i => $piece ) { - $tocid++; - $tag = ''; + $tocid = sanitize_page_id(trim($piece['text'])); + $tag = ''; $tag .= trim($piece['text']); $tag .= '';