+function discover_masks()
+{
+ $info = array();
+
+ if (($d = opendir('masks')) === false)
+ return $info;
+
+ while (($file = readdir($d)) !== false)
+ if (substr($file,-4) == '.php') {
+ $fname = substr($file,0,-4);
+ $info[] = array('id' => $fname, 'text' => $fname);
+ }
+ closedir($d);
+
+ return $info;
+}
+