phalcon/phalcon-devtools — pull request #156 by moderndeveloperllc (2013-12-24 16:30:06+00:00)
Title: Update 1.3 stubs now that beta 1 is out

It's been a few months since the 1.3 stubs were updated. With Beta 1 out, might as well do this now as more people are looking at it.