Freenode -> Libera per wikimedia moving from freenode to libera

Bug: T283247
Change-Id: Iebbb13ac53830a8d77b42bf2954cf80d76d78467

.travis.yml

@@ -56,7 +56,7 @@ notifications:
   email: false
   irc:
     channels:
-      - "chat.freenode.net#wikimedia-dev"
+      - "irc.libera.chat#wikimedia-dev"
     template:
       - "%{repository}#%{build_number} (%{branch} - %{commit} %{author}): %{message} - %{build_url}"
     on_success: change

DEVELOPERS.md

@@ -15,12 +15,12 @@ The default environment provides PHP, Apache, Xdebug and a SQLite database.
 More documentation as well as example overrides and configuration recipes
 are available at [mediawiki.org/wiki/MediaWiki-Docker][mw-docker].
 
-Support is available on the [Freenode IRC network][freenode] at `#mediawiki`
+Support is available on the [Libera IRC network][Libera] at `#mediawiki`
 and on Wikimedia Phabricator at [#MediaWiki-Docker][mw-docker-phab].
 
 [mw-docker]: https://www.mediawiki.org/wiki/MediaWiki-Docker
 [mw-docker-phab]: https://phabricator.wikimedia.org/project/profile/3094/
-[freenode]: https://freenode.net/
+[Libera]: https://libera.chat/
 
 ### Requirements
 

RELEASE-NOTES-1.37

@@ -393,4 +393,4 @@ It's highly recommended that you sign up for one of these lists if you're
 going to run a public MediaWiki, so you can be notified of security fixes.
 
 == IRC help ==
-There's usually someone online in #mediawiki on irc.freenode.net.
+There's usually someone online in #mediawiki on irc.libera.chat.

composer.json

@@ -16,7 +16,7 @@
 	"license": "GPL-2.0-or-later",
 	"support": {
 		"issues": "https://bugs.mediawiki.org/",
-		"irc": "irc://irc.freenode.net/mediawiki",
+		"irc": "irc://irc.libera.chat/mediawiki",
 		"wiki": "https://www.mediawiki.org/"
 	},
 	"prefer-stable": true,

docs/distributors.txt

@@ -148,7 +148,7 @@ might find that the best place to post if you want to get developers' attention
 is the wikitech-l mailing list
 <https://lists.wikimedia.org/mailman/listinfo/wikitech-l>. Posts to wikitech-l
 will inevitably be read by multiple experienced MediaWiki developers. There's
-also an active IRC chat at <irc://irc.freenode.net/mediawiki>, where there are
+also an active IRC chat at <irc://irc.libera.chat/mediawiki>, where there are
 usually several developers at reasonably busy times of day.
 
 Our Git repositories are hosted at <https://gerrit.wikimedia.org>, see

tests/phpunit/data/composer/composer.json

@@ -12,7 +12,7 @@
 	"license": "GPL-2.0-only",
 	"support": {
 		"issues": "https://bugzilla.wikimedia.org/",
-		"irc": "irc://irc.freenode.net/mediawiki",
+		"irc": "irc://irc.libera.chat/mediawiki",
 		"wiki": "https://www.mediawiki.org/"
 	},
 	"require": {

tests/phpunit/data/composer/new-composer.json

@@ -12,7 +12,7 @@
 	"license": "GPL-2.0-only",
 	"support": {
 		"issues": "https://bugzilla.wikimedia.org/",
-		"irc": "irc://irc.freenode.net/mediawiki",
+		"irc": "irc://irc.libera.chat/mediawiki",
 		"wiki": "https://www.mediawiki.org/"
 	},
 	"require": {