Editing: locale-header.js