diff -r 9d5c04c1414f -r dcf5381ce8ba plugins/admin/LangManager.php --- a/plugins/admin/LangManager.php Sun Jan 25 21:18:05 2009 -0500 +++ b/plugins/admin/LangManager.php Sun Jan 25 21:20:14 2009 -0500 @@ -47,7 +47,7 @@ // Is this parameter in the form of an integer? // (designed to ease validation later) - if ( preg_match('/^[0-9]+$/', $parm) ) + if ( ctype_digit($parm) ) // Yes, run intval(), this enabling is_int()-ish checks $parm = intval($parm);