[12:44:28] <Bombo>	 hi
[12:46:24] <Bombo>	 when i try to upload a wav file i get an error: '/w/extensions/TimedMediaHandler/includes/handlers/ID3Handler/ID3Handler.php: Class 'getID3' not found' (i installed it via apt install php-getid3) but still does show thsat error
[12:50:00] <Lucas_WMDE>	 maybe you need to restart php-fpm or something like that? (if there’s a long-running PHP process still running from before you installed php-getid3)
[12:54:06] <Bombo>	 Lucas_WMDE: forgot that yes, but still the same 
[12:54:24] <Bombo>	 prob php issue
[12:54:27] <Lucas_WMDE>	 then I don’t know, sorry. maybe someone else here has ideas…
[12:59:03] <taavi>	 I don't think the library clone from apt (php-getid3) is relevant here, mediawiki will not try to read that
[12:59:10] <taavi>	 Bombo: how did you install TimedMediaHandler?
[13:00:04] <Lucas_WMDE>	 oh, I thought it was a PHP extension not a library
[13:01:42] <Bombo>	 taavi: wget
[13:01:56] <taavi>	 from which URL?
[13:02:21] <Bombo>	 https://github.com/wikimedia/mediawiki-extensions-TimedMediaHandler/archive/master.tar.gz
[13:02:53] <Bombo>	 test.php with '$getID3 = new getID3();' doesn't work either
[13:03:11] <taavi>	 ok, that explains. you need to either get it from https://www.mediawiki.org/wiki/Special:ExtensionDistributor/TimedMediaHandler, or run composer as https://www.mediawiki.org/wiki/Extension:TimedMediaHandler#Installation mentions
[13:24:02] <Paulxu20>	 Hi all, got a question hope someone can help - say my site domain is "abc.org", and the site name is "ABCDEF", I have set $wgSitename = "ABCDEF" in LocalSettings.php, and the site has been there for years, question is, why google is still showing it using my domain "abc.org" instead of "ABCDEF" in search results?