*** Original post on bio 502 at 2010-09-13 19:04:00 UTC *** The license header in file greprefs.js is about 100 lines after the beginning in the middle of preferences code. This has been seen on the Windows Nightly of 2010-09-13.
*** Original post on bio 502 at 2010-09-14 10:16:06 UTC *** This file is created while building Mozilla by concatenating 2 files. It's done at http://hg.mozilla.org/mozilla-central/annotate/5588c9796f0b/modules/libpref/src/Makefile.in#l88 I think swapping the files in that variable would put the license header at the top of the resulting file.
You need to log in before you can comment on or make changes to this bug.