Fixed bug #8701: Bug: options.moduleMenuCollapsable = 0 doesn't have any effect