menu.ini [DoubleTop]
The block [DoubleTop] of settings/menu.ini, with 4 setting(s).
Never edit settings/menu.ini itself: an update replaces it. Put the settings you change in an override, which wins over the shipped file:
settings/override/menu.ini.append.phpfor every siteaccess,settings/siteaccess/<siteaccess>/menu.ini.append.phpfor one siteaccess,extension/<extension>/settings/menu.ini.append.phpin an extension (read when the extension is active).
TitleText
Default: Double top menu.
# settings/override/menu.ini.append.php
[DoubleTop]
TitleText=Double top menu
*/ ?>MenuThumbnail
Default: menu/double_top.jpg.
# settings/override/menu.ini.append.php
[DoubleTop]
MenuThumbnail=menu/double_top.jpg
*/ ?>TopMenu
Default: double_top.
# settings/override/menu.ini.append.php
[DoubleTop]
TopMenu=double_top
*/ ?>LeftMenu
Default: empty.
# settings/override/menu.ini.append.php
[DoubleTop]
LeftMenu=
*/ ?>Related
Generated by ./console exp:help:examples from settings/menu.ini. Do not edit this page: change the source and generate again (how). Free documentation: GFDL 1.3 or later.