User blog comment:Rappy 4187/Technical Update: May 11, 2016/@comment-11733175-20160511202337

Is there an easy way to discover the value of wgDBname, without resorting to digging through the page source or looking it up with JS?