Toggle menu
Toggle preferences menu
Toggle personal menu
Not logged in
Your IP address will be publicly visible if you make any edits.

MediaWiki:Gadgets-definition

MediaWiki interface page
    1. OHC Network Wiki gadgets
    2. NOTE: The Gadgets extension (MediaWiki:Gadgets-definition) is NOT currently
    3. installed on this wiki, so the entries below are DORMANT. The exact same
    4. functionality is live via core MediaWiki mechanisms:
    5. – fonts, copy-code, search hotkey, back-to-top → MediaWiki:Citizen.js + MediaWiki:Common.css
    6. CARE version switcher → MediaWiki:Common.js
    7. If the Gadgets extension is enabled server-side, delete those Common.js /
    8. Citizen.js blocks and flip these to active by removing this dormant note.
    9. Flags used:
    10. default – enabled for everyone by default (opt-out in Preferences)
    11. dependencies= – extra ResourceLoader modules loaded first
    1. Brand typefaces — Switzer / Figtree / Geist Mono (injected from CDNs)

ohc-fonts[ResourceLoader|default]|ohc-fonts.js

    1. Copy button on every code block

ohc-copy-code[ResourceLoader|default|dependencies=mediawiki.util]|ohc-copy-code.js|ohc-copy-code.css

    1. Press "/" to focus the search box from anywhere

ohc-search-hotkey[ResourceLoader|default|dependencies=mediawiki.util]|ohc-search-hotkey.js

    1. Floating "back to top" button

ohc-back-to-top[ResourceLoader|default|dependencies=mediawiki.util]|ohc-back-to-top.js|ohc-back-to-top.css

    1. CARE documentation version switcher (3.x dropdown on doc pages)

ohc-version-switcher[ResourceLoader|default|dependencies=mediawiki.util,mediawiki.notification]|ohc-version-switcher.js|ohc-version-switcher.css