removed pilcrows on prettyHtml line endings

Author: liddiard

diff.js

@@ -1215,12 +1215,12 @@ diff.prototype.prettyHtml = function(diffs) {
   var pattern_amp = /&/g;
   var pattern_lt = /</g;
   var pattern_gt = />/g;
-  var pattern_para = /\n/g;
+  var pattern_br = /\n/g;
   for (var x = 0; x < diffs.length; x++) {
     var op = diffs[x][0];    // Operation (insert, delete, equal)
     var data = diffs[x][1];  // Text of change.
     var text = data.replace(pattern_amp, '&amp;').replace(pattern_lt, '&lt;')
-        .replace(pattern_gt, '&gt;').replace(pattern_para, '&para;<br>');
+        .replace(pattern_gt, '&gt;').replace(pattern_br, '<br/>');
     switch (op) {
       case DIFF_INSERT:
         html[x] = '<ins>' + text + '</ins>';