beremiz

Various unrelated code quality enhancements and fixes with no effect on execution.

18 months ago, Edouard Tisserant
3ef4b5b202fc
Various unrelated code quality enhancements and fixes with no effect on execution.
Developer mode
==============
Add JavaScript
--------------
Write new widget type
---------------------