Merge "Avoid double word-separator when using Linker::userToolLinks"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 20 Feb 2015 08:21:46 +0000 (08:21 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 20 Feb 2015 08:21:46 +0000 (08:21 +0000)
commit6a3782ec14eb9296f57b097ac4a9fb441c45d8f5
tree7682f311b44d201570de605903f38c3c5837a600
parent3e94967191cf69e50f93838d521b27b7cf040e3f
parent6dcb4408c724484faf1c2181e34026c8a727d94a
Merge "Avoid double word-separator when using Linker::userToolLinks"
includes/Linker.php