/**
* Add an alias to treat as an icon path.
* {@link THEMED_PAGE}s will make sure to redirect these aliases to the theme-
* specific location when resolved. The resource manager is used to
* communicate the change and apply the theme settings to a path immediately.
* @param RESOURCE_MANAGER $resource_manager
* @see add_as_icon_listener_to()
* @see refresh_icon_alias()
* @param string $alias
*/
public function add_icon_alias($resource_manager, $alias)
{
$this->_icon_aliases[$alias] = $resource_manager;
$resource_manager->refresh($alias);
}
