changeset 826 | dcf5381ce8ba |
parent 801 | eb8b23f11744 |
child 1081 | 745200a9cc2a |
--- 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);