DifferenceEngineOldHeaderHook.php File Reference

Go to the source code of this file.

Classes
interface	MediaWiki\Diff\Hook\DifferenceEngineOldHeaderHook
	This is a hook handler interface, see docs/Hooks.md. More...

Namespaces
	MediaWiki\Diff\Hook