Fixed typo that was breaking badly custom_corner deprecated uses.

diff --git a/lib/deprecatedlib.php b/lib/deprecatedlib.php
index c0146a2d46b01ea3dfcefcedf1e9bba8997171b8..1c322c85b46b9ad280710aed66c70707ef65fd24 100644 (file)
--- a/lib/deprecatedlib.php
+++ b/lib/deprecatedlib.php
@@ -1759,7 +1759,7 @@ class custom_corners_renderer_factory extends standard_renderer_factory {
     public function __construct($theme, $page) {
         global $CFG;
         parent::__construct($theme, $page);
-        require_once($CFG->themedir . '/customcorners/renderers.php');
+        require_once($CFG->themedir . '/custom_corners/renderers.php');
         $this->renderers = array('core' => new custom_corners_core_renderer($this->opencontainers, $this->page, $this));
     }
 }