Translated using Weblate (Indonesian)

Currently translated at 79.2% (2067 of 2609)
Merge remote-tracking branch 'origin/QA_4_0' into QA_4_0
Translated using Weblate (Korean)

Currently translated at 73.1% (1907 of 2609)
Fix javascript error when codemirror is disabled
Translated using Weblate (Spanish)

Currently translated at 100.0% (2719.0 of 2719)
Translated using Weblate (Turkish)

Currently translated at 100.0% (2719.0 of 2719)
Convert end of lines
Translated using Weblate (Traditional Chinese)

Currently translated at 99.9% (2715 of 2719)
Merge remote-tracking branch 'origin/master'
Translated using Weblate (Slovenian)

Currently translated at 100.0% (2719.0 of 2719)
Translated using Weblate (Korean)

Currently translated at 73.1% (1908 of 2609)
Translated using Weblate (Estonian)

Currently translated at 100.0% (2719.0 of 2719)
Translated using Weblate (Greek)

Currently translated at 100.0% (2719.0 of 2719)
Merge pull request #570 from gtoniser/master

Fix javascript error when codemirror is disabled
Translated using Weblate (Korean)

Currently translated at 69.5% (1891 of 2719)
Translated using Weblate (Kurdish Sorani)

Currently translated at 19.5% (529 of 2719)
Merge remote-tracking branch 'origin/master'
Remove no longer needed doc name mappings
Split URL generating from returning URL
Dropped MySQL manual type configuration

Nothing but default settings is really working now:

- most formats are no longer available on MySQL formats
- for downloadable doc our links are in most cases broken and nobody
  noticed this, so I assume nobody is using this
- anyway most current installations don't have troubles with internet
  access what was main motivation for this configuration directive