The search functionality needs JavaScript enabled
Wraps Mix_HaltMusic which halts the playing music
Mix_HaltMusic
static void halt() @trusted;