added PHP-FIG attributions