Pastoid

	private function upgrade_db_post_4291()
	{
//		Options::set( 'failed_plugins', false );
//		Options::set( 'db_upgrading', FALSE );
 
		$active_plugins = Plugins::list_active();
		Utils::debug( $active_plugins );
		$all_plugins = Installhandler::get_plugins();
		$legacy_plugins = array();
		foreach ($all_plugins as $plugin ) {
			if (!isset ($plugin[ 'info'])) {
//				Utils::debug( $plugin );
//				Utils::debug( $plugin['file'] );
			//	Plugins::class_from_filename( $plugin[ 'file' ] ) didn't work
 
			$key = array_search( $plugin[ 'file'], $active_plugins );
				$legacy_plugins[ $key ] = $plugin[ 'file' ];
			}
 
		}
		Utils::debug( $legacy_plugins );
		$valid_plugins = array_diff_key( $active_plugins, $legacy_plugins );
		Utils::debug( $valid_plugins );
// Options::set( 'active_plugins_backup', Options::get( 'active_plugins' ) );
Options::set( 'active_plugins', $valid_plugins );
// Utils::debug( Plugins::check_every_plugin_syntax() ) didn't work. Complaints about $file;
// Utils::debug( Options::get( 'failed_plugins' ) );
//		die( "<h3>I'M DEAD</h3>" );
	}