FIX #15338 TIME 0:30 added direct search in history

dist/index.html

dist/main.f74e41e8b65078462556.js

src/app/history/controllers/BatchHistoryController.php

src/app/history/controllers/HistoryController.php

...history/batch/history-batch-administration.component.html

...n/history/batch/history-batch-administration.component.ts

src/frontend/app/history/history.component.html

src/frontend/app/history/history.component.ts