function generate_op_spacefull($details, &$body) { $old_strip_whitespace = self::$strip_whitespace; self::$strip_whitespace = FALSE; $this->generate_op_code($details['body'], $body); self::$strip_whitespace = $old_strip_whitespace; }