JetBrains/intellij-community — pull request #36 by krasa (2013-02-22 11:21:59+00:00)
Title: InputFilter - api change for returning List

see http://youtrack.jetbrains.com/issue/IDEA-95644

extension point is renamed so that old plugins do not throw exceptions :)