neocotic/MyExtensions — comment on commit a06f8a17d72b7dbe43c9c3eb47461023a81e1684
File: js/js.js line 1528
By neocotic:

If an extension has no users at any point, the next diff would have been ignored as it would have set `this.users.previous` to `this.users.total`.Unlikely scenario as most extensions should have at least one user (the developer) but I thought I'd cover this here.