[webkit-reviews] review requested: [Bug 89135] webkitpy: remove DummyOptions and clean up the code in Port.get_option() and Port.set_option_default() : [Attachment 147885] Patch

[bugzilla-daemon at webkit.org]

Dirk Pranke <dpranke at chromium.org> has asked  for review:
Bug 89135: webkitpy: remove DummyOptions and clean up the code in
Port.get_option() and Port.set_option_default()
https://bugs.webkit.org/show_bug.cgi?id=89135

Attachment 147885: Patch
https://bugs.webkit.org/attachment.cgi?id=147885&action=review