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 |
||
| Line 2: | Line 2: | ||
$wgDefaultUserOptions['vector-page-tools-pinned'] = 0; | $wgDefaultUserOptions['vector-page-tools-pinned'] = 0; | ||
$wgDefaultUserOptions['vector-toc-pinned'] = 0; | $wgDefaultUserOptions['vector-toc-pinned'] = 0; | ||
$wgDefaultUserOptions['vector-appearance-pinned'] = | $wgDefaultUserOptions['vector-appearance-pinned'] = 1; | ||
Revision as of 12:16, 3 February 2025
$wgDefaultUserOptions['vector-main-menu-pinned'] = 0; $wgDefaultUserOptions['vector-page-tools-pinned'] = 0; $wgDefaultUserOptions['vector-toc-pinned'] = 0; $wgDefaultUserOptions['vector-appearance-pinned'] = 1;