# File mod_docs/lang.rb, line 122
  def set_filter_option(option)
  end