Note : après avoir enregistré la page, vous devrez forcer le rechargement complet du cache de votre navigateur pour voir les changements.

Mozilla / Firefox / Konqueror / Safari : maintenez la touche Majuscule (Shift) en cliquant sur le bouton Actualiser (Reload) ou pressez Maj-Ctrl-R (Cmd-R sur Apple Mac) ;

Chrome / Internet Explorer / Opera : maintenez la touche Ctrl en cliquant sur le bouton Actualiser ou pressez Ctrl-F5.
//<pre> <nowiki>

// Personalisation de la boite de navigation ainsi que de la boite utilisateur (haut de page)
function OptimizedNavig() 
{
  // nav box
  var a = document.getElementById("p-navigation");

  if (a) 
  {
    b = a.getElementsByTagName("ul");
    if(b.length > 0)
    { 
      var startUrl = '/w/index.php?title='
      var endUrl = ''

      // liste des URLs
      var urls = new Array()
      urls[0] = 'Utilisateur:Leag'
      urls[1] = 'Utilisateur:Leag/index'
      urls[2] = 'Portail:Jeux'
      urls[3] = 'Portail:Jeux/À faire'
      urls[4] = 'Wikipédia:Le Bistro/' + TodayDate()
      urls[5] = 'Spécial:Nouvelles pages'
      urls[6] = 'Wikipédia:Bulletin des administrateurs'
      urls[7] = 'Projet:Maintenance'
      urls[8] = 'Wikipédia:Requête aux administrateurs'
      urls[9] = 'Wikipédia:Bulletin des patrouilleurs'
      urls[10] = 'Wikipédia:Bulletin du filtrage'
      urls[11] = 'Spécial:Filtre_antiabus'

      var labels = new Array()
      labels[0] = 'Leag'
      labels[1] = 'Index'
      labels[2] = 'Jeux'
      labels[3] = 'À faire'
      labels[4] = 'Bistro'
      labels[5] = 'New'
      labels[6] = 'Bulletin'
      labels[7] = 'Maintenance'
      labels[8] = 'Requêtes'
      labels[9] = 'Patrouille'
      labels[10] = 'Bulletin AE'
      labels[11] = 'Filtre AE'

      for (var i=0;i<urls.length;i+=2) {

        tableHTML = '<li>'
                  + '<a href="' + startUrl + urls[i] + endUrl + '">' + labels[i] + '</a>'
                  + '&nbsp;•&nbsp;'
                  + '<a href="' + startUrl + urls[i+1] + endUrl + '">' + labels[i+1] + '</a>'
                  + '</li>'
        b[0].innerHTML = b[0].innerHTML + tableHTML
      }

    }
  }
}

$(OptimizedNavig);

function TodayDate()
{
        var m = new Array("janvier", "février", "mars", "avril", "mai", "juin", "juillet", "août", "septembre", "octobre", "novembre", "décembre")
        var today = new Date()
        var day = today.getDate()
        var year = today.getYear()

        if (year < 2000)
                year += 1900

        return (day + " " + m[today.getMonth()] + " " + year)
}

//</nowiki></pre>