Merge branch 'R_1_0'
authorMichael Wallner <mike@php.net>
Tue, 29 Sep 2015 15:24:20 +0000 (17:24 +0200)
committerMichael Wallner <mike@php.net>
Tue, 29 Sep 2015 15:24:20 +0000 (17:24 +0200)

Trivial merge