Revert header extension name change

This commit is contained in:
saschawillems 2017-02-12 13:13:16 +01:00
parent 1309ee0ef9
commit 3779bfe0f7