Follow-up r110761: removed duplicate check of $wgShowIPinHeader and fix some whitespaces
authorAlexandre Emsenhuber <ialex@users.mediawiki.org>
Mon, 6 Feb 2012 21:52:48 +0000 (21:52 +0000)
committerAlexandre Emsenhuber <ialex@users.mediawiki.org>
Mon, 6 Feb 2012 21:52:48 +0000 (21:52 +0000)
commit34789d1c85c9593667905521acc358e1f234b24c
tree91984022149a7eecd2a0e65caf9358315c9c7ae2
parent876eddc7aaddd9e96f8ef283b49a9ff1b7a29fbb
Follow-up r110761: removed duplicate check of $wgShowIPinHeader and fix some whitespaces
includes/cache/HTMLFileCache.php