This category may not be up to date; it may not show all extensions that use this hook. You can view this MediaWiki Code search query to see the most up-to-date version of all extensions that use this hook.
The DifferenceEngineViewHeader category contains pages on extensions that use the DifferenceEngineViewHeader /en hook.
Pages in category "DifferenceEngineViewHeader extensions/mni"
This category contains only the following page.