removed unused property

2013-12-31 12:06:34 +01:00
parent 84b12967af
commit 1884cf15dc
1 changed files with 12 additions and 13 deletions
--- a/application/core/Manialinks/CustomUIManager.php
+++ b/application/core/Manialinks/CustomUIManager.php
@ -25,7 +25,6 @@ class CustomUIManager implements CallbackListener {
 	 * Private Properties
 	 */
 	private $maniaControl = null;
-	private $manialinks = null;
 	private $customUI = null;
 	private $updateManialink = false;