User:Hoskir/vector-2022.css: Difference between revisions
Jump to navigation
Jump to search
Created page with "$wgDefaultUserOptions['vector-main-menu-pinned'] = 0; $wgDefaultUserOptions['vector-page-tools-pinned'] = 0; $wgDefaultUserOptions['vector-toc-pinned'] = 0; $wgDefaultUserOptions['vector-appearance-pinned'] = 0;" |
No edit summary |
||
| (One intermediate revision by the same user not shown) | |||
| 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'] = | $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;