* Settings to skip mysql version check
* Fix wrong typecast in GetSelectedItems, patch by Sébastien JeanJean
* Fix load of extra trees
- Remove unused method
* Explicitly release MiniMap
* Fix HTTP protocol
* Make sure we do not create a minimap twice.
* Notify of source editor config changes.