Getting Twitter User IDs with PHP
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.
