User:Hoskir/vector-2022.css: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
$wgDefaultUserOptions['vector-main-menu-pinned'] = | $wgDefaultUserOptions['vector-main-menu-pinned'] = 1; | ||
$wgDefaultUserOptions['vector-page-tools-pinned'] = | $wgDefaultUserOptions['vector-page-tools-pinned'] = 1; | ||
$wgDefaultUserOptions['vector-toc-pinned'] = | $wgDefaultUserOptions['vector-toc-pinned'] = 1; | ||
$wgDefaultUserOptions['vector-appearance-pinned'] = 1; | $wgDefaultUserOptions['vector-appearance-pinned'] = 1; | ||
Latest revision as of 12:20, 3 February 2025
$wgDefaultUserOptions['vector-main-menu-pinned'] = 1; $wgDefaultUserOptions['vector-page-tools-pinned'] = 1; $wgDefaultUserOptions['vector-toc-pinned'] = 1; $wgDefaultUserOptions['vector-appearance-pinned'] = 1;