Redundant essential theme call.

Issue #872 new
Gareth Barnard created an issue

In lib.php::theme_adaptable_pluginfile($course, $cm, $context, $filearea, $args, $forcedownload, array $options = array()) there is:

    } else if ($filearea === 'style') {
        theme_essential_serve_css($args[1]);

is this in broken pencil territory?