remove obsolete javascript function