plugins/admin/LangManager.php
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);