package jenkins.widgets;

import hudson.Extension;
import hudson.widgets.Widget;
import jenkins.model.Jenkins;
import org.jenkinsci.Symbol;

/**
 * The default executors widget.
 *
 * A plugin may remove this from {@link Jenkins#getWidgets()} and swap in their own.
 *
 * @author Kohsuke Kawaguchi
 * @since 1.514
 */
@Extension(ordinal=100) @Symbol("executors") // historically this was above normal widgets and below BuildQueueWidget
public class ExecutorsWidget extends Widget {
}
