added setUserExtensions()