What file does PageBuilder use for richtext *mini*?
I'd like to change it but can't find the theme. /assets/plugins/tinymce4/theme/
Would expect to use: *theme.tinymce4.mini.inc.php* but it doesn't.
'type' => 'richtext',
'theme' => 'mini',
'options' => [
'height' => '80px',
],