Commits for 2020-07-25

The following 3 changes have been made on 2020-07-25:

- form_defines with default tinymce options (Author: Mirko De Grandis, Hash: #148b5dd)
- tinymce default options define + fixes (Author: Mirko De Grandis, Hash: #e7067bb)
- bugfixes (Author: Mirko De Grandis, Hash: #4b5883f)

Check it out. More are coming soon!