Merge "header-abi-diff: Fix omission of warning message for extensions."