Bug 942424 - Fix broken comment format, replace "ﬁle" with "file"
Merge pull request #13974 from flodolo/bug942424

Bug 942424 - Fix broken comment format, fix "ﬁle"