Avoid adding duplicates when adding an header extension

Merged Simon Morlat requested to merge fix/from-5.4-may-15 into master

Merge request reports