you should delete wiki/js/diff.js if we're not using it too