ajaxorg/cloud9 — pull request #746 by zefhemel (2011-12-28 14:27:02+00:00)
Title: Assigned PHP highlighting to .phtml files

@janjongboom