The used to be in separate places. As a result of other cleanups they both ended up in javascript-static.js, at which point Eclipse told me that there were two functions called checkall.
Description
The used to be in separate places. As a result of other cleanups they both ended up in javascript-static.js, at which point Eclipse told me that there were two functions called checkall.