made DifferenceEngine::getRevisionHeader() protected, so we can override it.
authordaniel <daniel.kinzler@wikimedia.de>
Mon, 18 Jun 2012 14:57:22 +0000 (16:57 +0200)
committerdaniel <daniel.kinzler@wikimedia.de>
Mon, 18 Jun 2012 14:57:22 +0000 (16:57 +0200)
commit4775a690b52674e4d0d56183ad6f263379a16bc5
tree06d5f5531069b8e41278ecf21131abede2a2188b
parent4c812f84629ee2472173c39d603c1391768a1daf
made DifferenceEngine::getRevisionHeader() protected, so we can override it.

Change-Id: Ic429cd0c039c0eb0487e149f9bb79c469b3635b3
includes/diff/DifferenceEngine.php