add: _REQUEST_cut()

diff --git a/misc.php b/misc.php
index 1045d45..cdaf2a1 100644 (file)
--- a/misc.php
+++ b/misc.php
@@ -44,6 +44,16 @@ function ordinalize($i) {
        return $i . ordinal_suffix($i);
 }
 
+# remove the $key from $_REQUEST and return it's value (or null if it's not there)
+function _REQUEST_cut($key) {
+       if(!isset($_REQUEST[$key])) {
+               return null;
+       }
+       $ret = $_REQUEST[$key];
+       unset($_REQUEST[$key]);
+       return $ret;
+}
+
 # returns an array containing just the elements of $pipes that are readable (without blocking)
 # timeout 0 means don't wait, timeout NULL means wait indefinitely
 function readable_sockets($pipes, $timeout = 0){