Addshore has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/396384 )
Change subject: ArticleEditUpdatesDeleteFromRecentchanges WikiPage typehint ...................................................................... ArticleEditUpdatesDeleteFromRecentchanges WikiPage typehint Change-Id: Ie5461896d22bafd6a58b661811641010e0049f20 --- M InterwikiIntegration.hooks.php 1 file changed, 1 insertion(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/InterwikiIntegration refs/changes/84/396384/1 diff --git a/InterwikiIntegration.hooks.php b/InterwikiIntegration.hooks.php index 65abb30..4350548 100644 --- a/InterwikiIntegration.hooks.php +++ b/InterwikiIntegration.hooks.php @@ -389,7 +389,7 @@ * Flush old entries from the `integration_recentchanges` table; we do this on * random requests so as to avoid an increase in writes for no good reason */ - public static function InterwikiIntegrationArticleEditUpdatesDeleteFromRecentchanges( &$article ) { + public static function InterwikiIntegrationArticleEditUpdatesDeleteFromRecentchanges( WikiPage &$wikiPage ) { if ( 0 == mt_rand( 0, 99 ) ) { global $wgRCMaxAge; $dbw = wfGetDB( DB_MASTER ); -- To view, visit https://gerrit.wikimedia.org/r/396384 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Ie5461896d22bafd6a58b661811641010e0049f20 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/InterwikiIntegration Gerrit-Branch: master Gerrit-Owner: Addshore <addshorew...@gmail.com> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits