Manual:$wgDBadminuser/de-formal

Details
Database username that can be used when running maintenance scripts.

Prior to MediaWiki version 1.16,  was set in.

In newer versions it can still be set along with in, but is optional.