Manual:RevisionStoreFactory.php

MediaWiki version:
1.32