From 57aabee4e8a449f24a5d34258f93026d2646a208 Mon Sep 17 00:00:00 2001
From: Leon Stringer <leon.stringer@ntlworld.com>
Date: Fri, 18 Feb 2022 16:33:11 +0000
Subject: [PATCH] MDL-69951 filter_tidy: Replace drop-font-tags

The option drop-font-tags was removed in HTML Tidy version 5.5.14.  It
had been deprecated since 5.1.25, the docs said "Use the clean option
instead" which is what this commit does (see
https://api.html-tidy.org/tidy/quickref_5.1.25.html#drop-font-tags).
---
 filter/tidy/filter.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/filter/tidy/filter.php b/filter/tidy/filter.php
index 567f9b683bceb..2bdb79ffba39b 100644
--- a/filter/tidy/filter.php
+++ b/filter/tidy/filter.php
@@ -47,7 +47,7 @@ function filter($text, array $options = array()) {
                  'show-body-only' => true,
                  'tidy-mark' => false,
                  'drop-proprietary-attributes' => true,
-                 'drop-font-tags' => true,
+                 'clean' => true,
                  'drop-empty-paras' => true,
                  'indent' => true,
                  'quiet' => true,