Removes unused Javascript syntax option (changed the plugin)