[PATCH] New function file_put()

Hi Folks, after seeing the new function file_get_contents() I figured a corresponding file_put() function should be added too. Prototype: int file_put(string filename, mixed data [, string mode]) It takes a filename (URL wrappers supported), the data to be written and a mode for the file. The data can be either a string or an array (which is like using join("", $data) first and can be used to write data read by the file() function). The mode can be "a" or "ab" to append to a file and defaults to "wb". The function returns the number of bytes written to the stream. A test for the function has been included in ext/standard/tests/file/002.phpt. On a side note: I think the file_get_contents() function should be renamed to file_get() as it is useful enough to deserve a shorter name. Any comments on this function (and the implementation) are welcome. - Chris