Translations:MediaWiki 1.31/118/en

is now set to  by default. This is a first step of migration to human-readable section IDs that will later result in ' ' being the default mode.