]> granicus.if.org Git - php/commitdiff
Merge branch 'pull-request/872'
authorStanislav Malyshev <stas@php.net>
Mon, 24 Nov 2014 00:08:19 +0000 (16:08 -0800)
committerStanislav Malyshev <stas@php.net>
Mon, 24 Nov 2014 00:08:19 +0000 (16:08 -0800)
* pull-request/872:
  Fix php.ini-*'s comment about directive: request_order


Trivial merge