Remove use of utf8_encode (deprecated in PHP 8.2)

classes/local/store/s3/client.php

@@ -604,7 +604,14 @@ private function get_nice_filename($headers) {
 
             if (!empty($originalfilename)) {
                 $result['Content-Disposition'] = $contentdisposition;
-                $result['filename'] = 'filename="' . utf8_encode($originalfilename) . '"';
+                // The filename parameter must be in ISO-8859-1, however it works in browsers if
+                // you treat the original UTF-8 string as ISO-8859-1 characters. To achieve that
+                // here, we encode the UTF-8 as if it were ISO-8859-1. Because this behaviour is
+                // hideous, we also supply the original UTF-8 as the optional 'filename*' field
+                // which is supposed to take precedence, and supports a specified encoding.
+                $jankyfilename = \core_text::convert($originalfilename, 'ISO-8859-1');
+                $result['filename'] = 'filename="' . $jankyfilename .
+                    '"; filename*=UTF-8\'\'"' . $originalfilename . '"';
                 $result['Content-Type'] = $originalcontenttype;
             }
         }