Add some additional PHP extensions to the compatibility map
a53cffa15d62
Actions

Authored by Joshua Spence <josh@joshuaspence.com> on Sep 8 2014, 15:25.

Description

Add some additional PHP extensions to the compatibility map

Summary: Because why not?

Test Plan: Eyeball it.

Reviewers: btrahan, #blessed_reviewers, epriestley

Reviewed By: #blessed_reviewers, epriestley

Subscribers: epriestley, Korvin

Committed

Joshua Spence <josh@joshuaspence.com>

Sep 8 2014, 15:25

Pushed

aubort

Mar 17 2017, 12:03

Parents

rPHUe7bc7ea2d12a: Update the `JSONLint` API

Branches

Unknown

Tags

Unknown

Joshua Spence <josh@joshuaspence.com> committed rPHUa53cffa15d62: Add some additional PHP extensions to the compatibility map (authored by Joshua Spence <josh@joshuaspence.com>).Sep 8 2014, 15:25

				Path
	M			resources/php_compat_info.json
	M			scripts/update_compat_info.php