A collaborative effort to replace the PHP SPL extension.