update_recently_edited( string $file )

Update the “recently-edited” file for the plugin or theme editor.

Parameters

$file

(Required)

Source

File: wp-admin/includes/misc.php 

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 );
}

Expand Source Code View on GitHub

Related

Uses

Uses
Uses Description
wp-includes/option.php: update_option()

Update the value of an option that was already added.
wp-includes/option.php: get_option()

Retrieves an option value based on an option name.

Changelog

Changelog
Version Description
WP-1.5.0 Introduced.