- $toc="<h2>TOC</h2><ul id='toc'>";
- $lastlevel=1;
- $idnum = [0,0,0,0,0,0,0];
- foreach($lines as &$line){
- if (substr($line,0,2)=="<h") {
- $level = substr($line,2,1);
- if ($level!="r") {
+ $toc = "<h2>TOC</h2><ul id='toc'>";
+ $lastlevel = 1;
+ $idnum = [0, 0, 0, 0, 0, 0, 0];
+ foreach ($lines as &$line) {
+ if (substr($line, 0, 2) == "<h") {
+ $level = substr($line, 2, 1);
+ if ($level != "r") {