This is a header file, I don't think that we care much about `javascript` vs `JavaScript` here.