* (bug 25760) counter property still reported by the API when wgDisableCounters enabl...