Translations:Manual:$wgStyleVersion/8/en

In addition the default values are not documented, as the actual value of this setting has no significance (except to note that it will be different, and higher, in each version of MediaWiki).