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)
Change-Id: I8e666db2a7502bd1773252aa71db47819f63f08b


No differences found