Reset play_time when level is restarted
[supertux.git] / src / object_remove_listener.hpp