Replace inline tab with space
authorSiebrand Mazeland <s.mazeland@xs4all.nl>
Thu, 21 Nov 2013 18:30:01 +0000 (19:30 +0100)
committerBartosz Dziewoński <matma.rex@gmail.com>
Thu, 21 Nov 2013 18:32:38 +0000 (18:32 +0000)
commit9cd43cd01a3749613209334db6a814b3df96e06a
tree9bdb15d9d104cfb3b8410a1662c458574939fc1b
parent9d3c1767434e7ad4d9a20e744d47de798ce0336e
Replace inline tab with space

Spotted by Umherirrender in
https://gerrit.wikimedia.org/r/#/c/96554/1/includes/diff/DifferenceEngine.php

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