[16:15:32] <Nikhil61>	 what are the update scripts that we need to run from time to time (docker setup)? `docker compose exec mediawiki composer update` is this only??
[16:22:40] <AntiComposite>	 git pull -> composer update -> update.php
[16:23:15] <AntiComposite>	  docker compose exec mediawiki php maintenance/run.php update --quick
[16:24:32] <Nikhil61>	 ohh thanks
[16:26:03] <Nikhil61>	 what is update.php in first message?
[16:32:06] <debdog>	 Nikhil61: https://www.mediawiki.org/wiki/Manual:Update.php