Updated mediawiki/extensions
Project: mediawiki/extensions/Annotator  c2a44efdea16ba5a72ab4fce4cc488e183c0bbac

Added the db_patch files for renaming rev_id and user_id column

user_id column was already renamed to annotation_user_id in the
patchset https://gerrit.wikimedia.org/r/#/c/75645/ but the patch file
is added here. This renames rev_id to annotation_rev_id, as well as
includes the patch file.

Change-Id: Ibf45c14312ecc191c629ea7fb532b6e93c555063