added phpext_jsond to downloadFilenames.php, https://github.com/WPN-XM/WPN-XM/issues/235