Marrant
Un petit plugin quick&dirty pour intégrer wavedrom dans mediawiki et pouvoir écrire ses chronogrammes directement en json dans son article.
Une progress bar en bootstrap css
