Code Editor : generate-verified-files.php