My answer:
<?php
$array = array_map('intval', explode(' ', readline()));
$rotations = intval(readline());
$count = count($array);
$rotations = $rotations % $count;
$newArray = [];
for ($i = $rotations; $i < $count; $i++) {
$newArray[] = $array[$i];
}
for ($i = 0; $i < $rotations; $i++) {
$newArray[] = $array[$i];
}
echo implode(' ', $newArray);