[wp-meta] [Making WordPress.org] #3653: Fix fatal error in wporg-developer theme

[Making WordPress.org]

#3653: Fix fatal error in wporg-developer theme
---------------------------+-----------------------
 Reporter:  keesiemeijer   |       Owner:  obenland
     Type:  defect         |      Status:  closed
 Priority:  normal         |   Milestone:
Component:  Developer Hub  |  Resolution:  fixed
 Keywords:  has-patch      |
---------------------------+-----------------------
Changes (by obenland):

 * owner:  (none) => obenland
 * status:  new => closed
 * resolution:   => fixed


Comment:

 In [changeset:"7269" 7269]:
 {{{
 #!CommitTicketReference repository="" revision="7269"
 Developer: Avoid error in PHP 7.2

 Props keesiemeijer.
 Fixes #3653.
 }}}

-- 
Ticket URL: <https://meta.trac.wordpress.org/ticket/3653#comment:1>
Making WordPress.org <https://meta.trac.wordpress.org/>
Making WordPress.org