/* Originally in unreleased WLMini Music Player 2.37 */

var g_aEventHandler = [];

function WL_RegisterEvent(event, handler){
	g_aEventHandler.push([event, handler]);
	}

function WL_UnregisterEvent(event, handler){
	for(i in g_aEventHandler){
		if(g_aEventHandler[i][0] == event && g_aEventHandler[i][1] == handler){
			delete g_aEventHandler[i];
			break;
			}
		}
	}

function WL_ExecuteEvent(event){
	for(i in g_aEventHandler){
		if(g_aEventHandler[i][0] == event){
			var args = [];
			for(x in arguments)
				if(arguments[x] != event)
					args.push(arguments[x]);
			g_aEventHandler[i][1](event, args);
			}
		}
	}