From 404d9cb002f23ebf104847fa1d30aec34a5915bc Mon Sep 17 00:00:00 2001 From: swkim0911 Date: Fri, 12 Dec 2025 15:11:21 +0900 Subject: [PATCH] fix: cast state population to integer in JSON exporter --- bin/Commands/ExportJson.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/Commands/ExportJson.php b/bin/Commands/ExportJson.php index 0e882f6b1..2bf3443d3 100644 --- a/bin/Commands/ExportJson.php +++ b/bin/Commands/ExportJson.php @@ -162,7 +162,7 @@ protected function execute(InputInterface $input, OutputInterface $output): int $statesArray[$i]['timezone'] = $state['timezone']; $statesArray[$i]['translations'] = json_decode($state['translations'], true); $statesArray[$i]['wikiDataId'] = $state['wikiDataId']; - $statesArray[$i]['population'] = $state['population']; + $statesArray[$i]['population'] = $state['population'] !== null ? (int)$state['population'] : null; // For Country State Array $stateArr = array(