Commit 788f0aca authored by Cameron Chunn's avatar Cameron Chunn
Browse files

Merge branch 'use-mediawiki-user-ids' into 'master'

Use MediaWiki User IDs for user identifiers

See merge request !139
parents 54fba8b2 3d6589ce
Pipeline #125822982 passed with stage
in 1 minute and 19 seconds