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)
2. Utilisez un espace privé à l'aide des pages Intranet:maPage

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.