[gcompris] Fix mining-activity: bonus sound played twice

[Bruno Coudoin <bcoudoin src gnome org>]

commit de690747a887341a20b2c4145d3fe329e00f412e
Author: Peter Albrecht <pa-dev gmx de>
Date:   Wed Aug 15 22:21:35 2012 +0200

    Fix mining-activity: bonus sound played twice
    
    "gcompris.bonus.display()" already plays the bonus sound, so we don't
    have to. This only leads to this sound being played twice.

 src/mining-activity/mining.py |    1 -
 1 files changed, 0 insertions(+), 1 deletions(-)
---
diff --git a/src/mining-activity/mining.py b/src/mining-activity/mining.py
index 4d99c04..a5c81ad 100644
--- a/src/mining-activity/mining.py
+++ b/src/mining-activity/mining.py
@@ -222,7 +222,6 @@ class Gcompris_mining:
   def on_level_won(self):
     """ The user collected enough nuggets """
 
-    gcompris.sound.play_ogg("sounds/bonus.wav")
     self.is_game_won = True;
 
     # display the lion bonus (I have no idea, why it has the GNU-label)