Removed 'public $user' as it is deprecated in 1.29
authorzoranzoki21 <zorandori4444@gmail.com>
Tue, 21 May 2019 20:54:52 +0000 (22:54 +0200)
committerzoranzoki21 <zorandori4444@gmail.com>
Tue, 21 May 2019 20:54:52 +0000 (22:54 +0200)
commit91f49a2a72af2eaef507125be9185530dbe67def
tree0a809ad0dd49e7b80e11f773a8d544504256d031
parent07a883388adb76bef1e760ea9d87db3c1f04ff74
Removed 'public $user' as it is deprecated in 1.29

Change-Id: If9c59d432e4b8b91b8c81200bf3a8a910461eded
includes/import/WikiRevision.php