> // Assumes that server response will be changed to include a new element: an array "other_plugins" containing elements of $plugin_file=>'unknown' or $plugin_filename=>'current' for all the plugins for which it doesn't show updates.