WordPress.org Bumps PHP Maximum for Plugin Directory to Version 7.2

The WordPress.org SVN system received a version bump to 7.2 on October 3. This change [...]