From 64dca86342d3d72447b0bbad60d14ace2d644e4e Mon Sep 17 00:00:00 2001
From: Shoghi Cervantes <shoghicp@gmail.com>
Date: Fri, 7 Jun 2013 17:36:57 +0200
Subject: [PATCH] Fix overloaded property

---
 src/Player.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Player.php b/src/Player.php
index 8205e694ed..27d6ba94b2 100644
--- a/src/Player.php
+++ b/src/Player.php
@@ -30,7 +30,7 @@ class Player{
 	private $server;
 	private $buffer = "";
 	private $nextBuffer = 0;
-	private $recovery = array();
+	public $recovery = array();
 	private $evid = array();
 	private $lastMovement = 0;
 	private $timeout;