Avoid using the same "DisqusShortname" config setting as DisqusTag
As of MediaWiki 1.31, extensions are required to have unique configuration
settings to avoid clobbering each other. In this case, there is value
in sharing the Disqus short name between extensions, so first look for
the new $wgSectionDisqusShortname (defaults to false), otherwise fall
back to the original $wgDisqusShortname if it's set, and then a hardcoded
placeholder value that is the old default.