append 706 ext/spl/spl.php function append($value) {/**/} append 818 ext/spl/spl.php function append($value) {/**/} append 39 scripts/dev/generate-phpt/src/gtCodeSnippet.php public static function append($name, $array) {