Updated mediawiki/extensions
Project: mediawiki/extensions/GWToolset  c700acc2447e1516faa4b6592d27c3301475d026

Some more consistency tweaks in preparation for adding extension to translatewiki.net

* Use default ← arrow. The other was shown in my editor as rectangle
* Sprinkle some more <code></code>
* Repair weblinks: ( ) -> [ ]
* Some nitpicking

Change-Id: Iae05fb09fca3d176d83bbae29e0a19e9786c0475