Don't show "__NOTOC__" text when user has toc disabled
authorErik Moeller <erik@users.mediawiki.org>
Tue, 29 Jul 2003 01:11:09 +0000 (01:11 +0000)
committerErik Moeller <erik@users.mediawiki.org>
Tue, 29 Jul 2003 01:11:09 +0000 (01:11 +0000)
commitadcd2c34c20a4cfa6085fdc8ff51b7a2cbcc57b4
treee36ee93a6f427f97c6137cf151d9074487f8a237
parent6b271ae5cbd2043b924772ac892764d6b2a6edca
Don't show "__NOTOC__" text when user has toc disabled
includes/OutputPage.php