dev
Map plugin options to all document menus
Added MiniAudio plugin as an alternative to FMOD (#1514)
Introduced attribute to mark properties as required (#1981)