mozilla/servo — pull request #2220 by saneyuki (2014-04-24 16:45:59+00:00)
Title: Remove pub use globs in script.rs

Fix 2128

@jdm what do you think about removing `InterfaceTypes.rs`?