Type options of become plugins (#8623) Type options of become plugins. (cherry picked from commit a24ee93f23) Co-authored-by: Felix Fontein <felix@fontein.de>
a24ee93f23