Translations:Manual:$wgExtensionFunctions/14/en

For extensions which use $1, the callback is a better option for changing the configuration.