Merge branch 'dev' into randomarticle

1 files changed, 40 insertions, 0 deletions

diff --git a/inc/3rdparty/libraries/MOBIClass/FileInt.php b/inc/3rdparty/libraries/MOBIClass/FileInt.php
new file mode 100644
index 00000000..ebe86f86
--- /dev/null
+++ b/inc/3rdparty/libraries/MOBIClass/FileInt.php
@@ -0,0 +1,40 @@
+<?php
+
+/**
+ * Description of FileInt
+ *
+ * @author Sander
+ */
+class FileInt extends FileObject {
+        private $data;
+
+        /**
+         * Make an integer to be stored in a file
+         * @param int $n
+         */
+        public function __construct($n = 0){
+                parent::__construct(4);
+                $this->set($n);
+        }
+
+        public function get(){
+                return $this->data;
+        }
+
+        public function set($value){
+                $this->data = intval($value);
+        }
+        
+        public function serialize() {
+                return $this->intToString($this->data);
+        }
+
+        public function unserialize($data) {
+                __construct($this->toInt($data));
+        }
+
+        public function __toString(){
+                return "FileInt: {".$this->intAsString($this->data)."}";
+        }
+}
+?>