User:Rich jj/EditCounterOptIn.js

This is required by the Toolserver's Edit Counter.