Upgrade to ExtJS 4.0.7 - Released 10/19/2011
[extjs.git] / resources / themes / stylesheets / ext4 / default / util / _tool.scss
index c9eb8df..5d1a8ec 100644 (file)
@@ -12,7 +12,7 @@
 
             background-color: transparent;
             background-repeat: no-repeat;
-            @include theme-background-image($theme-name, 'tools/tool-sprites.gif');
+            background-image: theme-background-image($theme-name, 'tools/tool-sprites.gif');
 
             margin: 0;
         }