/wiki_page_versions/diff: use SetDiff to diff other_names.

Use SetDiff instead of DiffBuilder to generate diffs for wiki page other
names. SetDiff is what we use for artist other names.
This commit is contained in:
evazion
2020-01-12 15:32:34 -06:00
parent 95dd28fc52
commit 90b94adee8
6 changed files with 24 additions and 18 deletions

View File

@@ -10,7 +10,7 @@
}
.removed, .removed a {
color: var(--dif-list-removed-color);
color: var(--diff-list-removed-color);
text-decoration: line-through;
margin-right: 0.5em;
}

View File

@@ -1,15 +1,19 @@
div#c-wiki-page-versions {
#a-diff {
del {
del, .wiki-other-names-diff-list .removed {
background: var(--wiki-page-versions-diff-del-background);
text-decoration: none;
}
ins {
ins, .wiki-other-names-diff-list .added {
background: var(--wiki-page-versions-diff-ins-background);
text-decoration: none;
}
.wiki-other-names-diff-list .obsolete {
text-decoration: dotted underline;
}
span.paragraph-mark {
opacity: 0.25;
}