Updated mediawiki/extensions
Project: mediawiki/extensions/ListSignup  3ee6e723de6f416a6ca9d56a9ddabb63c38b89fc

use JSON i18n, standardize message names

Change-Id: I38a5dc47c088a47d89d3a4aabc7b0855e4a74b28
Updated mediawiki/extensions
Project: mediawiki/extensions/OAuth  e017214233191c3b1e15455bd8e064ec4b2ed747

Always insert preferences after 'usergroups'

The alternatives ('editcount' / 'userid') were removed on UX grounds.

Change-Id: I6f9a8445ec02cbbf22b040498c04547647facd96