Fix for DynamicPageList, which registers a mixed-case tag name.
authorBrion Vibber <brion@users.mediawiki.org>
Thu, 1 Jun 2006 06:41:32 +0000 (06:41 +0000)
committerBrion Vibber <brion@users.mediawiki.org>
Thu, 1 Jun 2006 06:41:32 +0000 (06:41 +0000)
commit6711d4714ce4000c0016307786e3e6e314b28bc0
tree9ef461b3d24bdec2965e40df08fa9ddb74c7f0f8
parent48b0722fd977cf9c2169d3d9e03b4e6935e0099e
Fix for DynamicPageList, which registers a mixed-case tag name.
The new system needs tag names to be case-folded internally so
that tags are properly case-insensitive.
includes/Parser.php