# File mod_docs/erb.rb, line 84
  def set_filter_option(option)
  end