I know, but I'm just saying this is the last known time that style_checker.js ever did anything. Since then it has been dormant and not catching errors... or at least that's what I thought at the time that I wrote comment #2. Now I'm not sure what to believe.
I know, but I'm just saying this is the last known time that style_checker.js ever did anything. Since then it has been dormant and not catching errors... or at least that's what I thought at the time that I wrote comment #2. Now I'm not sure what to believe.