[BUG #7269] warn_unknown_jsdoc_keys is boolean