Fixed bug #8108: Extension configuration options are not always shown, credits Jeff...