From 57fc94747dcefb31b356cf724b5bb33c57fd2d7b Mon Sep 17 00:00:00 2001
From: Paul Holden <paulh@moodle.com>
Date: Thu, 11 Jul 2024 11:56:02 +0100
Subject: [PATCH] MDL-82444 filter_tidy: advertise required PHP extension.

---
 filter/tidy/environment.xml         | 12 ++++++++++++
 filter/tidy/lang/en/filter_tidy.php |  1 +
 2 files changed, 13 insertions(+)
 create mode 100644 filter/tidy/environment.xml

diff --git a/filter/tidy/environment.xml b/filter/tidy/environment.xml
new file mode 100644
index 00000000000..7eb9ba656e6
--- /dev/null
+++ b/filter/tidy/environment.xml
@@ -0,0 +1,12 @@
+<?xml version="1.0" encoding="UTF-8" ?>
+<COMPATIBILITY_MATRIX>
+  <PLUGIN name="filter_tidy">
+    <PHP_EXTENSIONS>
+      <PHP_EXTENSION name="tidy" level="optional">
+        <FEEDBACK>
+          <ON_CHECK message="tidyextensionrequired" plugin="filter_tidy" />
+        </FEEDBACK>
+      </PHP_EXTENSION>
+    </PHP_EXTENSIONS>
+  </PLUGIN>
+</COMPATIBILITY_MATRIX>
diff --git a/filter/tidy/lang/en/filter_tidy.php b/filter/tidy/lang/en/filter_tidy.php
index 90b6151fe82..b039211ccc2 100644
--- a/filter/tidy/lang/en/filter_tidy.php
+++ b/filter/tidy/lang/en/filter_tidy.php
@@ -25,3 +25,4 @@
 
 $string['filtername'] = 'HTML tidy';
 $string['privacy:metadata'] = 'The HTML tidy plugin does not store any personal data.';
+$string['tidyextensionrequired'] = 'In order to use this filter, the \'tidy\' PHP extension must be installed';