Merge bitbucket.org:mike_php_net/ext-propro release-0.1.0
authorMichael Wallner <mike@php.net>
Sat, 16 Feb 2013 23:10:59 +0000 (00:10 +0100)
committerMichael Wallner <mike@php.net>
Sat, 16 Feb 2013 23:10:59 +0000 (00:10 +0100)

Trivial merge