default_option.php

См. документацию.

<?php
$fileman_default_option = [
    'default_edit' => 'html',
];