-
Earl Miles authored
#592692 by johnskulski: use theme_links instead of theme(links) for dropdown because we do not actually want a theme to change this output.
7fb6f842
#592692 by johnskulski: use theme_links instead of theme(links) for dropdown because we do not actually want a theme to change this output.