Page MenuHomeMiraheze

Edit LocalSettings.php ?
Closed, ResolvedPublic

Description

Hello,
How can I access the LocalSettings.php file so as to edit it ?
Notably, I would like to allow for multi-category search in my wiki (cf. https://www.mediawiki.org/wiki/Extension:Multi-Category_Search) as well as hide the "View History" button for unlogged users (as discussed here: https://www.mediawiki.org/wiki/Topic:Qyydsoxnt44t8arl).
My wiki is https://wikiai.miraheze.org/wiki/Main_Page
Thanks!