Updated mediawiki/extensions
Project: mediawiki/extensions/CirrusSearch  4f4b9dbaaf0e03a2c450af12585fb34298c30d71

Prevent duplicate updates

- $updated is a list of page titles, not ids
- Keep updatePages() from handling duplicate pages

Bug: 66858
Change-Id: I905e7398c9c033d6eef7cb05f8377470cca22a33