Convert $archivedRevisionCount to integer.
authorPetr Pchelko <ppchelko@wikimedia.org>
Tue, 20 Nov 2018 22:55:35 +0000 (14:55 -0800)
committerPetr Pchelko <ppchelko@wikimedia.org>
Tue, 20 Nov 2018 23:56:31 +0000 (15:56 -0800)
commitd81a350d489a5b870fa7c45be96d1542434e5dfd
treef01c810e60a78635e18220c1e65ada0b34af5534
parent65f41c7a57234602b7fab4b63a7040da76da498e
Convert $archivedRevisionCount to integer.

Before I81a70ca03fd219d2e96b17714645d9cc4f99b3b9
the archivedRevisionCount argument of the ArticleDeleteComplete
hook used to be an integer, now it's an string. This is backwards
incompatible and needs to be changed back.

Bug: T210013
Change-Id: I297594803fe05cc00cdf209696933b2450d020b6
includes/page/WikiPage.php