Updated mediawiki/extensions
Project: mediawiki/extensions/WikiForum  246f50e4d8bdbdfce14c79189eabb0d0ccffd219

WikiForum: version 1.3.0-SW (bugfix release).

This release fixes a bunch of outstanding bugs and issues with previous
versions, but the changes have been only lightly tested and the main class
is still a disgusting mess.

List of known issues fixed in this release:
* deleting a post or a reply breaks WikiForum horribly and makes it throw internal errors about "non-string key given" due to the software trying to insert UNIX timestamps instead of standard MW timestamps (http://www.mediawiki.org/wiki/Extension_talk:WikiForum#Internal_Error_-_Non-string_key_given)
* no way to distinguish anonymous users apart from each other (http://www.mediawiki.org/wiki/Extension_talk:WikiForum#Anonymous_Users)
* arrow misplacement on forum overview pages when translations of "replies", "views" and/or "latest reply" are longer than their English equivalents (http://bugzilla.shoutwiki.com/show_bug.cgi?id=174)
* CSS issues with Firefox & Vector (http://bugzilla.shoutwiki.com/show_bug.cgi?id=190); patch by Artyom
* long comments do not wrap (http://bugzilla.shoutwiki.com/show_bug.cgi?id=191)
* swapped $wgScriptPath to $wgExtensionAssetsPath where appropriate
* globals to RequestContext where possible

Due to the bunch of *_user_text and *_user_ip columns being added, a
database schema change is necessary. This can be done by re-running core
update.php from CLI.

Change-Id: Ia243d075ab05022c23dddf13ff2eee3ffb2265cb