Rename File: BatchResolverInterface.php

File Manager