== WMF ==
* https://gerrit.wikimedia.org/r/q/project:releng/dev-images+ Gerrit repo for "dev-images": Docker images for local MediaWiki development. Considered experimental (2020/08). Can be used with Docker Compose. Published to the [https://dockerregistry.toolforge.org/ WikiMedia Docker Registry], e.g. https://dockerregistry.toolforge.org/wikimedia-buster/tags/
* [https://phabricator.wikimedia.org/tag/mediawiki-containers/ Phabricator workboard for MediaWiki-Containers]
=== For Distributors ===
* [https://phabricator.wikimedia.org/T182020 Per RFC], distributors can override DefaultSettings.php with <code>includes/PlatformSettings.php</code>
* OPEN task: [https://phabricator.wikimedia.org/T173955 Allow DefaultSettings.php be overridden by environment variables] - Important for Kubernetes
=== MediaWiki with Kubernetes ===
* https://gerrit.wikimedia.org/r/plugins/gitiles/releng/local-charts/ Gerrit repo for using [[Minikube]] and '''Helm''' charts to define MediaWiki local development environments: Alpha (2020/08)
=== MediaWiki on Docker ===* [https://phabricatorgithub.wikimedia.orgcom/docker-library/T182020 Per RFCdocs Docker Library Docs], distributors can override DefaultSettings* [https://github.php with <code>includescom/PlatformSettings.php<docker-library/docs/tree/master/code>mediawiki Docker Library Docs for MediaWiki]* OPEN task: [https://phabricatorgithub.com/wikimedia/operations-docker-images-production-images Wikimedia base docker images for production] by [https://github.orgcom/T173955 Allow DefaultSettings.php be overridden by environment variableslavagetto lavagetto](Giuseppe Lavagetto - Italy)
* [https://www.mediawiki.org/wiki/MediaWiki-Docker MediaWiki-Docker] (distributed with MediaWiki)
* [https://github.com/addshore/mediawiki-docker-dev MediaWiki-Docker-Dev] (Addshore's GitHub repo) for using Docker and MediaWiki (Developers) See also: [https://github.com/addwiki/mediawiki-api MediaWiki API library] It's a library for making it easier to work with the MediaWiki API. Good to know/use/contribute. One member of a group of libraries to interact with WikiData, etc. ([https://addwiki.readthedocs.io/en/latest/ docs]) Addwiki repos are by Addshore, Jeroen DeDauw and Sam Wilson.
* [https://hub.docker.com/_/mediawiki/ Official Docker repository of MediaWiki]
* [https://phabricator.wikimedia.org/tag/mediawiki-containers/ Phabricator workboard for MediaWiki-Containers]
* [https://github.com/wikimedia/mediawiki-docker Wikimedia Git repo of the Docker official image for MediaWiki] (forked from https://github.com/benhutchins/docker-mediawiki)
=== Docker ===
* [https://github.com/docker-library/docs Docker Library Docs]
* [https://github.com/docker-library/docs/tree/master/mediawiki Docker Library Docs for MediaWiki]
* [https://github.com/wikimedia/operations-docker-images-production-images Wikimedia base docker images for production] by [https://github.com/lavagetto lavagetto] (Giuseppe Lavagetto - Italy)
=== Node Services ===
* https://wikitech.wikimedia.org/wiki/Puppet
* https://wikitech.wikimedia.org/wiki/Puppet_coding