Heading numbers are no longer displayed if there is only the one header. Also tidied...
authorChris Seaton <chrisseaton@users.mediawiki.org>
Sat, 8 Nov 2003 12:12:50 +0000 (12:12 +0000)
committerChris Seaton <chrisseaton@users.mediawiki.org>
Sat, 8 Nov 2003 12:12:50 +0000 (12:12 +0000)
commit265b7839d522be539656b1c2965606d26aa9c9c7
tree6bc4b7a87cf12f42ac4d9c7082959e025186f465
parent32692cef68710bfe296dc511087d1e3d4798422e
Heading numbers are no longer displayed if there is only the one header. Also tidied up some parts of the code and added comments.
includes/OutputPage.php