This is a quick&dirty extension for mediawiki to add wavedrom syntax.

To install the plugin :

1. In mediawiki directory named extensions, create a subdirectory named wavedrom
2. Copy the file wavedrom.php under the freshly created directory extensions/wavedrom
3. Add the following lines in your file LocalSettings.php

// WaveDrom extension
require_once "$IP/extensions/wavedrom/wavedrom.php";

To use it in mediawiki simply add the tag <wavedrom>:

<wavedrom>
{ signal: [
  { name: "clk",  wave: "p......" },
  { name: "bus",  wave: "x.34.5x",   data: "head body tail" },
  { name: "wire", wave: "0.1..0." },
]}
</wavedrom>