/**
* Called after an icon path has been changed.
* This event is called if an alias registered with {@link add_icon_alias()}
* is changed.
* @param RESOURCE_MANAGER $resource_manager Affected resource manager.
* @param string $alias Affected alias.
* @param string $path New path.
* @access private
*/
public function _on_icon_alias_changed($resource_manager, $alias, $path)
{
parent::_on_icon_alias_changed($resource_manager, $alias, $path);
if (isset($this->default_theme)) {
$resource_manager->add_to_path($alias, $this->default_theme->icon_set);
$resource_manager->set_extension($alias, $this->default_theme->icon_extension);
}
}
