Something

$wgWikiEditorModules = array(
    // 'highlight' => array( 'global' => true, 'user' => true ),
    // 'preview' => array( 'global' => true, 'user' => true ),
    // 'toc' => array( 'global' => true, 'user' => true ),
    'toolbar' => array( 'global' => true, 'user' => true ),
);