rust-lang/rust-playpen — pull request #14 by chris-morgan (2014-06-12 09:02:46+00:00)
Title: Change phase(syntax) to phase(plugin)

The former is deprecated and will be removed.