The class Elastica\Type is being removed from Elastica so we should stop using it.
- remove references to Elastica\Type from all supported MW extensions
- upgrade mediawiki-vendor to depend on Elastica 7.1.5
- upgrade the MW Elastica extension to depend on Elastica 7.1.5
Notes:
- production and CI is still running against PHP 7.2 (elasticsearch/elasticsearch v7.11.0 must be forced because this is the last version explicitly supporting this version)