update_recently_edited( string $file )

339function update_recently_edited( $file ) {340	$oldfiles = (array) get_option( 'recently_edited' );341 342	if ( $oldfiles ) {343		$oldfiles   = array_reverse( $oldfiles );344		$oldfiles[] = $file;345		$oldfiles   = array_reverse( $oldfiles );346		$oldfiles   = array_unique( $oldfiles );347 348		if ( 5 < count( $oldfiles ) ) {349			array_pop( $oldfiles );350		}351	} else {352		$oldfiles[] = $file;353	}354 355	update_option( 'recently_edited', $oldfiles );356}