Generating a json file in PHP

<?php

class Config
{
    var $FileName = "C:\\LMS_AD_ExportScript\\moch.csv";
    var $TmpFileName = "C:\\LMS_AD_ExportScript\\tmp.csv";
    var $SuperUsers = array("User1", "User2");
}


$bla = new Config();
echo json_encode($bla, JSON_PRETTY_PRINT)."\n";

?>