tree 5c1c1d39e9857a888438cdb7ce1d680e0175c7ee
parent 0122e103c2669c2cb9c6bddffdaaf747226fb421
author Dave Borowitz <dborowitz@google.com> 1552511955 -0700
committer Dave Borowitz <dborowitz@google.com> 1552682145 -0700

dev-plugins.txt: Recommend ServletModule instead of HttpPluginModule

As first noted in Ice22b3c23, HttpPluginModule is not appropriate to
extend because its configure method contains a bunch of bindings that
are specific to core; we're just lucky that it was harmless in practice.

Change-Id: I3b89150d18f41b164f350ff3f9649b9bc66880db