diff -r fd22b6d474e7 -r 56831f466d1d QTfrontend/gameuiconfig.h
--- a/QTfrontend/gameuiconfig.h	Wed Jan 23 03:46:32 2019 +0100
+++ b/QTfrontend/gameuiconfig.h	Fri Jan 25 06:46:13 2019 +0100
@@ -66,6 +66,7 @@
         bool isReducedQuality() const;
         bool isFrontendEffects() const;
         bool isFrontendFullscreen() const;
+        bool isHolidaySillinessEnabled() const;
         void resizeToConfigValues();
         quint32 stereoMode() const;
         void setValue(const QString & key, const QVariant & value);