Updated mediawiki/extensions
Project: mediawiki/extensions/PagedTiffHandler  130f0c92cdc04b4aba49639cbdeda0d414b1934c

Added PoolCounter use for local copy downloads

Change-Id: I72e31604fcba62b6c8024ba32efc8e8e57e9cfee