Fix double escaping to avoid showing literal • when [[MediaWiki:Pipe-separator...
authorRaimond Spekking <raymond@users.mediawiki.org>
Thu, 1 Oct 2009 11:24:56 +0000 (11:24 +0000)
committerRaimond Spekking <raymond@users.mediawiki.org>
Thu, 1 Oct 2009 11:24:56 +0000 (11:24 +0000)
commitc42e248ef2d09481b539b34f76306ebd730d6408
treea6068f3a018e4b2dd03d07cfa20bc7a3a4749083
parent0120d492b09b0ca116455341685fa55a34a51649
Fix double escaping to avoid showing literal &bull; when [[MediaWiki:Pipe-separator]] is set to this character
All message parameters are previously escaped.
includes/Pager.php