Seems we cannot relay on __toString() to do its job on all PHP versions, now gets...
authorRobert Stojnić <rainman@users.mediawiki.org>
Sat, 2 Aug 2008 14:53:49 +0000 (14:53 +0000)
committerRobert Stojnić <rainman@users.mediawiki.org>
Sat, 2 Aug 2008 14:53:49 +0000 (14:53 +0000)
commite11aebc86bf051c447afcb6171e34fb72e3a3810
treea9be4be0499a3731df85c3c772b1482267b27b6c
parent4426ed9527738f7bd73ee53a5a5250be0b0bf6b8
Seems we cannot relay on __toString() to do its job on all PHP versions, now gets prefixedText() the safe way.
Thanks Nikerabbit for pointing it out.
includes/specials/SpecialSearch.php