Adding get_plugin_list in deprecatedlib.php