From 2051699fc90614c3ffd38d893c314817bf262031 Mon Sep 17 00:00:00 2001
From: Erik Moeller <erik@users.mediawiki.org>
Date: Thu, 3 Jul 2003 03:17:22 +0000
Subject: [PATCH] fixing nasty endless loop bug re: TOC

---
 includes/Skin.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/includes/Skin.php b/includes/Skin.php
index 4d87f75ef6..927e4b3584 100644
--- a/includes/Skin.php
+++ b/includes/Skin.php
@@ -1658,13 +1658,13 @@ class Skin {
 
 	function tocIndent($level) {
 
-		while($level--) $rv.="<div style=\"margin-left:2em;\">\n";
+		while($level-->0) $rv.="<div style=\"margin-left:2em;\">\n";
 		return $rv;
 
 	}
 
 	function tocUnindent($level) {
-		while($level--) $rv.="</div>\n";
+		while($level-->0) $rv.="</div>\n";
 		return $rv;
 	}
 
-- 
2.20.1