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