On Fri, Mar 14, 2008 at 2:09 PM, Matt Mullenweg <m at mullenweg.com> wrote:
> Mistah P wrote:
> > global $user_ID;
> > if (!$user_ID) {
>
> That should also work with older versions of WP. Have you contacted him
> with a patch yet?
is_user_logged_in() would be better. That's been around for many releases.
Ryan