Manual talk:$wgAjaxWatch

Ummmmmm, how do you actually add this extension?