WordPress Version: 6.1
/**
* Updates the "recently-edited" file for the plugin or theme file editor.
*
* @since 1.5.0
*
* @param string $file
*/
function update_recently_edited($file)
{
$oldfiles = (array) get_option('recently_edited');
if ($oldfiles) {
$oldfiles = array_reverse($oldfiles);
$oldfiles[] = $file;
$oldfiles = array_reverse($oldfiles);
$oldfiles = array_unique($oldfiles);
if (5 < count($oldfiles)) {
array_pop($oldfiles);
}
} else {
$oldfiles[] = $file;
}
update_option('recently_edited', $oldfiles);
}