Board Thread:Support Requests - Designing Your Wiki/@comment-36535642-20200529102257/@comment-43865827-20200529115728

It's a Dev Script indeed. It's named "EditCountTag" can be found here.