Manual:InterwikiSearchResultSetWidget.php