Description:
We have no button to launch the history of any page after we change search options.
Also no buttons to display next or previous changes. That is abnormal.
In MediaWiki 1.30.0-wmf.14 (rMWe993fed5a26e) 02:39, 18 August 2017 or perhaps before (because I rarely search in histories of pages.)
Steps to reproduce:
Open the history of a page, example: history of one page.
Try to change search options and to launch the history.
Try to search older changes, or previews changes.
Expected outcome:
A search button permit to launch the modified history.
A next button permit to display older changes.
A previous button permit to display newer changes.
Actual outcome:
Without these buttons, the use of history is abnormaly limited.