On Sun, 17 Sep 2006, Pierre wrote: > Hello, > > On 9/17/06, Andi Gutmans <[EMAIL PROTECTED]> wrote: > > Yep I agree. I thought the idea was to go to filter_* which has been our > > standard for extensions. > > I'm sure we can find good names for the functions in this way. > > old name > new name: > > input_get > filter_get > input_get_args > filter_get_args > input_has_variable > filter_has_variable > nput_ filters_ list > filter_list() > input_name_to_filter > filter_id(name) > > is it ok?
No, I don't think that's a good idea. You don't "get" a filter, you're getting input. This is something much more core than a real extension so I don't see it as a problem to use input_*(). > > I think we all agree on the signatures and behaviors of input_get and > input_get_args (or whatever their new names will be). Nope, see my other mail :) regards, Derick -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
