Jeroen De Dauw has uploaded a new change for review. https://gerrit.wikimedia.org/r/238725
Change subject: Decrease field visibility ...................................................................... Decrease field visibility Change-Id: I65d244912ee340b72ce0512264ed9f44cc5170e8 --- M repo/includes/Dumpers/DumpGenerator.php 1 file changed, 1 insertion(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Wikibase refs/changes/25/238725/1 diff --git a/repo/includes/Dumpers/DumpGenerator.php b/repo/includes/Dumpers/DumpGenerator.php index 5833022..dd60ef5 100644 --- a/repo/includes/Dumpers/DumpGenerator.php +++ b/repo/includes/Dumpers/DumpGenerator.php @@ -26,7 +26,7 @@ * @var int The max number of entities to process in a single batch. * Also controls the interval for progress reports. */ - public $batchSize = 100; + private $batchSize = 100; /** * @var resource File handle for output -- To view, visit https://gerrit.wikimedia.org/r/238725 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I65d244912ee340b72ce0512264ed9f44cc5170e8 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Wikibase Gerrit-Branch: master Gerrit-Owner: Jeroen De Dauw <jeroended...@gmail.com> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits