protected function writeToFile($file, $data)
{
if (is_writable($file)) {
file_put_contents($file, $data);
if (!chmod($file, 0644)) {
trigger_error("Couldn't not set " . basename($file) . " permissions to 644");
}
} else {
trigger_error("Permission denied");
}
}