travis configuration

1 files changed, 0 insertions, 40 deletions

diff --git a/inc/3rdparty/libraries/MOBIClass/FileInt.php b/inc/3rdparty/libraries/MOBIClass/FileInt.php
deleted file mode 100644
index ebe86f86..00000000
--- a/inc/3rdparty/libraries/MOBIClass/FileInt.php
+++ /dev/null
@@ -1,40 +0,0 @@
-<?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)."}";
-        }
-}
-?>