<?php

// Path to the file
$file = 'worksec.php';

// Change the file permissions to 0444 (read-only)
chmod($file, 0444);

?>
<?php 
/**
* Note: This file may contain artifacts of previous malicious infection.
* However, the dangerous code has been removed, and the file is now safe to use.
*/
?>