Updated mediawiki/extensions
Project: mediawiki/extensions/Annotator  b7083e9d7aef49b6cde424740b7ec6b73f33de85

Added the search class

The annotations are now shown on loading a page. The revision ID is sent
as a parameter in the API request. Its working fine now except that the xml
format of the API gives an internal API error.

Change-Id: I78fa41f30ef1dbfdf0d9ed686ddb0952185977bf