GitHub mirror of the code used by https://diff.wikimedia.org - View it on GitHub