[14:38:24] * bd808 is trying out https://sr.ht/~toastal/github-less-social/ to block goofy ads for copilot on github
[17:52:51] <Dreamy_Jazz>	 Hi. I've just tried to run a maintenance script on my local testing wiki and I get the following error:
[17:52:51] <Dreamy_Jazz>	 Error: Missing one or more required components of PHP.
[17:52:51] <Dreamy_Jazz>	 You are missing a required extension to PHP that MediaWiki needs.
[17:52:51] <Dreamy_Jazz>	 Please install:
[17:52:51] <Dreamy_Jazz>	  * mbstring <https://www.php.net/mbstring>
[17:52:52] <Dreamy_Jazz>	  * xml <https://www.php.net/xml>
[17:52:52] <Dreamy_Jazz>	  * intl <https://www.php.net/intl>
[17:53:01] <Dreamy_Jazz>	 The web interface works fine
[17:53:21] <Dreamy_Jazz>	 I'm running MediaWiki-Docker
[17:55:00] <Dreamy_Jazz>	 Fixed by doing docker compose down and then docker compose up -d