' . __('Index of %s', $directory) . ''; $homedir_filemanager = isset($config['homedir_filemanager']) ? $config['homedir_filemanager'] : false; filemanager_file_explorer( $real_directory, $directory, 'index.php?sec=snmpconsole&sec2=operation/snmpconsole/snmp_mib_uploader', SNMP_DIR_MIBS, false, false, '', false, '', $homedir_filemanager );