Make sure sound file is a wav file

diff --git a/framework/Core/lib/Horde/Themes/Sound.php b/framework/Core/lib/Horde/Themes/Sound.php
index b67df3f..a51ac02 100644 (file)
--- a/framework/Core/lib/Horde/Themes/Sound.php
+++ b/framework/Core/lib/Horde/Themes/Sound.php
@@ -15,10 +15,17 @@
 class Horde_Themes_Sound extends Horde_Themes_Element
 {
     /**
-     * The default directory name for this element type.
-     *
-     * @var string
      */
     protected $_dirname = 'sounds';
 
+    /**
+     */
+    public function __get($name)
+    {
+        /* Sounds must be in .wav format. */
+        return (substr(strrchr($name, '.'), 1) == 'wav')
+            ? parent::__get($name)
+            : null;
+    }
+
 }