MediaWiki:Common.js

/* Tout JavaScript présent ici sera exécuté par tous les utilisateurs à chaque chargement de page. */
$( function () {
    $( '.citizen-search-trigger' ).on( 'click', function () {
        // Ouvrir la recherche native de MediaWiki
        $( '#searchInput' ).focus();
    } );

    // Raccourci clavier
    $( document ).on( 'keydown', function ( e ) {
        if ( e.key === '/' ) {
            e.preventDefault();
            $( '#searchInput' ).focus();
        }
    } );
} );