Deprecate WikiRevision::$user
authoraddshore <addshorewiki@gmail.com>
Thu, 16 Mar 2017 10:30:11 +0000 (10:30 +0000)
committeraddshore <addshorewiki@gmail.com>
Tue, 21 Mar 2017 23:10:40 +0000 (23:10 +0000)
commit417bd2905c887a1d7863979b7dc3d0c917c3cab2
tree44abbe550f382fdfe66cefb6a9f33eed54bd4cf3
parent213acd8202e01a2bbc60e73826746c373f64cdba
Deprecate WikiRevision::$user

This was introduced in 436a028086fb3f01c4605c5ad2964d56f9306aca
but was not used there.
It also currently looks unused.

We could go ahead and just remove this now, as anything that wants
to set the $user when the property is removed would still succeed.
But lets adhere to the deprecation policy here.

Change-Id: Id47323bb1ff480a16b46107825ed5f2f861ad976
RELEASE-NOTES-1.29
includes/import/WikiRevision.php