* remove forgotten case of hard coded pipe separator in Pager
authorSiebrand Mazeland <siebrand@users.mediawiki.org>
Mon, 9 Feb 2009 14:31:48 +0000 (14:31 +0000)
committerSiebrand Mazeland <siebrand@users.mediawiki.org>
Mon, 9 Feb 2009 14:31:48 +0000 (14:31 +0000)
commit1093d3976835ee7a12372a892955a3e0848e71b0
treeab0cdf15e227c794d4a450e952954afb72fe1913
parent81bf8d0a3a1af467739d5fae79678032628ba4e4
* remove forgotten case of hard coded pipe separator in Pager
* fix bug in GlobalFunctions.php introduced in r47028. pipeList() needs to be fed an array.
includes/GlobalFunctions.php
includes/Pager.php