Board Thread:General Discussion/@comment-29692056-20151115011458/@comment-9380534-20151116015437

That is actually not a MediaWiki page, but a script from the Dev Wiki.