From 3d99ce9dadca82765832ab669dabc22c554fd78e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nicolas=20L=C5=93uillet?= <nicolas@loeuillet.org>
Date: Mon, 19 Jan 2015 13:37:32 +0100
Subject: travis configuration

---
 inc/3rdparty/libraries/MOBIClass/FileInt.php | 40 ----------------------------
 1 file changed, 40 deletions(-)
 delete mode 100644 inc/3rdparty/libraries/MOBIClass/FileInt.php

(limited to 'inc/3rdparty/libraries/MOBIClass/FileInt.php')

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)."}";
-	}
-}
-?>
-- 
cgit v1.2.3