1	<?php
2
3	namespace MediaWiki\Extension\WikibaseManifest;
4
5	interface MaxLagFactory {
6
7	public function getMaxLag(): MaxLag;
8
9	}