Rename File: SearchResultInterface.php

File Manager