Wikis

Nous vous proposons l'installation d'un wiki Mediawiki pour tous vos besoins de création de page web.

Ces wikis disposent des outils suivants:

Extensions installés par défaut

1. L'édition des pages des wikis est facilitée par la mise en place d'un éditeur spécifique (utilisé également par Wikipedia)

Extensions dont vous pouvez demander l'activation

Mise en page des bouts de code

ex: {{#source: java

|
class Whatever {
  public static void main() {
     int a = 0;

     while( a < 10 ) {
        System.out.println(a);
     }
  }
}

}}

Diverses mises en page sont disponibles.