Avoid double word-separator when using Linker::userToolLinks
authorumherirrender <umherirrender_de.wp@web.de>
Thu, 12 Feb 2015 17:54:18 +0000 (18:54 +0100)
committerumherirrender <umherirrender_de.wp@web.de>
Thu, 12 Feb 2015 17:54:18 +0000 (18:54 +0100)
commit6dcb4408c724484faf1c2181e34026c8a727d94a
tree370452fa9931ae74c0713fc6fa60aadd714664ae
parent26726d0f9745d8f5fb86e08c4d147a4375d63a98
Avoid double word-separator when using Linker::userToolLinks

The word-separator is already part of the return value of
Linker::userToolLinks which results in a double space when add an own
word-separator

Change-Id: Id9d3125b9cae4a92f489215dda0b32c487f3fb11
includes/Linker.php
includes/page/ImagePage.php
includes/specials/SpecialFileDuplicateSearch.php