Configuration syntax changed?

From semantic-mediawiki.org

> Also, the list of formats enabled by default given in the "Configuration" section differs from DefaultSettings.php.

Thank a lot: Good find! I just updated according to "DefaultSettings.php" in current master.

14:43, 19 January 2019