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).
Choose the export format from the list below:
Export as Portable Document Format (PDF) using the Web Browser
Export as HyperText Markup Language (HTML)
Select the pages to export:
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).