-$version = '1.2.3 [cvs]';
-
-/**
- * If $haystack is a full mailbox name and $needle is the mailbox
- * separator character, returns the last part of the mailbox name.
- */
-function readShortMailboxName($haystack, $needle) {
- if ($needle == '') {
- return $haystack;
- }
- $parts = explode($needle, $haystack);
- $elem = array_pop($parts);
- while ($elem == '' && count($parts)) {
- $elem = array_pop($parts);
- }
- return $elem;
-}
-
-/**
- * If $haystack is a full mailbox name, and $needle is the mailbox
- * separator character, returns the second last part of the full
- * mailbox name (i.e. the mailbox's parent mailbox)
- */
-function readMailboxParent($haystack, $needle) {
- if ($needle == '') return '';
- $parts = explode($needle, $haystack);
- $elem = array_pop($parts);
- while ($elem == '' && count($parts)) {
- $elem = array_pop($parts);
- }
- return join($needle, $parts);
-}
-
-/**
- * Returns the index of the first chunk of string $haystack that
- * starts with non-white-space character, starting at position $pos.
- * If there is no such chunk, returns -1.
- */
-function next_pos_minus_white ($haystack, $pos) {
- $len = strlen($haystack);
- while ($pos < $len) {
- /* Get the next character. */
- $c = substr($haystack, $pos, 1);
-
- /* Check the next character. */
- if (($c != ' ') && ($c != "\t") && ($c != "\n") && ($c != "\r")) {
- return $pos;
- }
-
- /* Increment position in string. */
- ++$pos;
- }
- return -1;
-}