Wavedrom plugin for mediawiki

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

Install

To install the plugin :

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

// mw.v 1.24.x or less
require_once "$IP/extensions/wavedrom/wavedrom.php";
// mw.v 1.25.x or above
wfLoadExtension( '<wavedrom>' );

Use it in mediawiki

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>