json

When using the Twitter API's "Streaming API", you often have to pass in Twitter User IDs as arguments, rather than Twitter usernames (aka "screen name"). I wrote a small command-line PHP program that obtains Twitter User IDs from Twitter usernames.