Extension:UserDebugInfo

From mediawiki.org