Could you explain (or point to some page that explains) how to search through code history on Gerrit, to track down changes for configuration options, as you did for Manual:$wgFileExtensions? I attempted to do the same for Manual:$wgFileBlacklist (which surely has a long and sordid history of changes to its default value), but couldn't figure out how to navigate the interface.
Topic on User talk:Shirayuki
I have a local copy of the Git repository. I locally added lost branches, e.g. REL1_1, REL1_2, etc.
Aah. I guess it would be easier to just point you at things, then, as long as you don't mind.
I made links for you:
- https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/core/+/refs/tags/1.1.0/includes/DefaultSettings.php
- https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/core/+/refs/tags/1.2.6/includes/DefaultSettings.php
- https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/core/+/refs/tags/1.3.18/includes/DefaultSettings.php
- https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/core/+/refs/tags/1.4.15/includes/DefaultSettings.php
- https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/core/+/refs/tags/1.5.8/includes/DefaultSettings.php
- https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/core/+/refs/tags/1.6.12/includes/DefaultSettings.php
- https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/core/+/refs/tags/1.7.3/includes/DefaultSettings.php
- https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/core/+/refs/tags/1.8.5/includes/DefaultSettings.php
- https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/core/+/refs/tags/1.9.6/includes/DefaultSettings.php
- https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/core/+/refs/tags/1.10.4/includes/DefaultSettings.php
- https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/core/+/refs/tags/1.11.2/includes/DefaultSettings.php
- https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/core/+/refs/tags/1.12.4/includes/DefaultSettings.php
- https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/core/+/refs/tags/1.13.5/includes/DefaultSettings.php
- https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/core/+/refs/tags/1.14.1/includes/DefaultSettings.php
- https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/core/+/refs/tags/1.15.5/includes/DefaultSettings.php
- https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/core/+/refs/tags/1.16.5/includes/DefaultSettings.php
- https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/core/+/refs/tags/1.17.5/includes/DefaultSettings.php
- https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/core/+/refs/tags/1.18.6/includes/DefaultSettings.php
- https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/core/+/refs/tags/1.19.24/includes/DefaultSettings.php
- https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/core/+/refs/tags/1.20.8/includes/DefaultSettings.php
- https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/core/+/refs/tags/1.21.11/includes/DefaultSettings.php
- https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/core/+/refs/tags/1.22.15/includes/DefaultSettings.php
- https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/core/+/refs/heads/REL1_23/includes/DefaultSettings.php
- https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/core/+/refs/tags/1.24.6/includes/DefaultSettings.php
- https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/core/+/refs/heads/REL1_25/includes/DefaultSettings.php
- https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/core/+/refs/heads/REL1_26/includes/DefaultSettings.php
- https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/core/+/refs/heads/REL1_27/includes/DefaultSettings.php
- https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/core/+/refs/heads/REL1_28/includes/DefaultSettings.php
- https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/core/+/refs/heads/REL1_29/includes/DefaultSettings.php
- https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/core/+/refs/heads/REL1_30/includes/DefaultSettings.php
- https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/core/+/refs/heads/REL1_31/includes/DefaultSettings.php
- https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/core/+/refs/heads/REL1_32/includes/DefaultSettings.php
- https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/core/+/refs/heads/REL1_33/includes/DefaultSettings.php
- https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/core/+/refs/heads/REL1_34/includes/DefaultSettings.php
- https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/core/+/refs/heads/REL1_35/includes/DefaultSettings.php