>>> [!note] Migrated issue <!-- Drupal.org comment --> <!-- Migrated from issue #3554837. --> Reported by: [phenaproxima](https://www.drupal.org/user/205645) Related to !103 >>> <p>Core deprecated theme_get_setting(), which we're using. We should use the deprecation helper to get past this.</p>