Use Sanitizer::escapeId() in another place
authorAryeh Gregor <simetrical@users.mediawiki.org>
Fri, 2 Jan 2009 20:30:53 +0000 (20:30 +0000)
committerAryeh Gregor <simetrical@users.mediawiki.org>
Fri, 2 Jan 2009 20:30:53 +0000 (20:30 +0000)
commit9bfa528584e2b26e43e205b399520e4585b71dff
tree97fcb2b3715b1e1a4d92e06e20ee850eb62611af
parent6935c811cb74c32dea4fe56749af5709db204077
Use Sanitizer::escapeId() in another place

Reduce code duplication some more, and fix section redirect after edit
when $wgEnforceHtmlIds is off.
includes/parser/Parser.php