Updated mediawiki/extensions
Project: mediawiki/extensions/Annotator  58ee84a83e677825bee7ba451a43ff40d09f0b31

Used /*_*/ before the table name in the db patches for renaming
user_id and rev_id.

Change-Id: I66440eeb3962b33d649d5ad44f568b45b90ccad3