Fix phpdoc for WikiPage::updateRedirectOn $redirectTitle param
authoraddshore <addshorewiki@gmail.com>
Mon, 4 Dec 2017 09:43:01 +0000 (10:43 +0100)
committeraddshore <addshorewiki@gmail.com>
Mon, 4 Dec 2017 09:43:01 +0000 (10:43 +0100)
commitf894f2ec986f2d56b9b2b2372d38d90981672b79
treed702b6a31078de5d608695450704c696f6fa8086
parenta22c3b07620f51003a38330b0ae49baf6d87ab60
Fix phpdoc for WikiPage::updateRedirectOn $redirectTitle param

Change-Id: I8e666db2a7502bd1773252aa71db47819f63f08b
includes/page/WikiPage.php