59e0fd80 by mpenner

Hide the second option for replacing media, since it's mostly useless. refs #1552

1 parent e078d272
......@@ -811,3 +811,7 @@ a.remove-option-group, a.remove-option {
.diff-accept { background-color: #68be2e; }
.diff-reject { background-color: #ed1f24; }
td.diff-left:hover, td.diff-right:hover { cursor: pointer; }
/* Hide the second option for the "Enable Media Replace" plugin ("Replace the file,
use new file name and update all links"), since it mostly just breaks links */
label[for="replace_type_2"], label[for="replace_type_2"] ~ p.howto { display: none; }
\ No newline at end of file
......