Extension Search Button
Last modified by Vincent Massol on 2021/04/06 17:28
Added a search button on the Extension Manager pages in the Administration, to make it more user-friendly (users had to press the "return" key before).
