Board Thread:General Discussion/@comment-37425278-20191120072223/@comment-1038387-20191120202009

Judging from the editor's name and garish color scheme, that looks like the Scratchpad wiki.

Looks like RevisionDelete. It's not enabled by default on MediaWiki in general. I wasn't aware it was given out to admins. Was Scratchpad a wiki Wikia took over? They might have grandfathered the extension in, it's been around since 1.16.