Wikis
Aller à la navigation
Aller à la recherche
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
- 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.