Unexpected non-MediaWiki exception encountered, of type &quot;TypeError&quot;<br />
TypeError: implode(): Argument #1 ($separator) must be of type string, array given in /home/bsbi/herbarium/htdocs/wk/languages/Language.php:2017<br />
Stack trace:<br />
#0 /home/bsbi/herbarium/htdocs/wk/languages/Language.php(2017): implode()<br />
#1 /home/bsbi/herbarium/htdocs/wk/includes/Linker.php(1122): Language-&gt;pipeList()<br />
#2 /home/bsbi/herbarium/htdocs/wk/includes/LogEventsList.php(217): Linker-&gt;userToolLinks()<br />
#3 /home/bsbi/herbarium/htdocs/wk/includes/LogEventsList.php(687): LogEventsList-&gt;logLine()<br />
#4 /home/bsbi/herbarium/htdocs/wk/includes/Pager.php(290): LogPager-&gt;formatRow()<br />
#5 /home/bsbi/herbarium/htdocs/wk/includes/Article.php(1055): IndexPager-&gt;getBody()<br />
#6 /home/bsbi/herbarium/htdocs/wk/includes/Article.php(881): Article-&gt;showDeletionLog()<br />
#7 /home/bsbi/herbarium/htdocs/wk/includes/Wiki.php(451): Article-&gt;view()<br />
#8 /home/bsbi/herbarium/htdocs/wk/includes/Wiki.php(64): MediaWiki-&gt;performAction()<br />
#9 /home/bsbi/herbarium/htdocs/wk/index.php(116): MediaWiki-&gt;initialize()<br />
#10 {main}<br />
<br />
#0 /home/bsbi/herbarium/htdocs/wk/languages/Language.php(2017): implode()<br />
#1 /home/bsbi/herbarium/htdocs/wk/includes/Linker.php(1122): Language-&gt;pipeList()<br />
#2 /home/bsbi/herbarium/htdocs/wk/includes/LogEventsList.php(217): Linker-&gt;userToolLinks()<br />
#3 /home/bsbi/herbarium/htdocs/wk/includes/LogEventsList.php(687): LogEventsList-&gt;logLine()<br />
#4 /home/bsbi/herbarium/htdocs/wk/includes/Pager.php(290): LogPager-&gt;formatRow()<br />
#5 /home/bsbi/herbarium/htdocs/wk/includes/Article.php(1055): IndexPager-&gt;getBody()<br />
#6 /home/bsbi/herbarium/htdocs/wk/includes/Article.php(881): Article-&gt;showDeletionLog()<br />
#7 /home/bsbi/herbarium/htdocs/wk/includes/Wiki.php(451): Article-&gt;view()<br />
#8 /home/bsbi/herbarium/htdocs/wk/includes/Wiki.php(64): MediaWiki-&gt;performAction()<br />
#9 /home/bsbi/herbarium/htdocs/wk/index.php(116): MediaWiki-&gt;initialize()<br />
#10 {main}<br />