From 2f11fa0e4511530f99a5ab2af809ccca33e96b11 Mon Sep 17 00:00:00 2001
From: Christiaan Rakowski <cs.rakowski@gmail.com>
Date: Wed, 19 Jun 2013 20:54:52 +0200
Subject: [PATCH] Updated jquery.tinyscrollbar definitions to TS 0.9

---
 jquery.tinyscrollbar/jquery.tinyscrollbar.d.ts | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/jquery.tinyscrollbar/jquery.tinyscrollbar.d.ts b/jquery.tinyscrollbar/jquery.tinyscrollbar.d.ts
index c1567fbbde..f19c132656 100644
--- a/jquery.tinyscrollbar/jquery.tinyscrollbar.d.ts
+++ b/jquery.tinyscrollbar/jquery.tinyscrollbar.d.ts
@@ -5,12 +5,12 @@
 
 /// <reference path="../jquery/jquery.d.ts" />
 
-module JQueryTinyScrollbar {
+declare module JQueryTinyScrollbar {
     export interface JQueryTinyScrollbarOptions {
         /**
         * Enable mobile invert style scrolling. (default: false)
         */
-        invertscroll?: bool;
+        invertscroll?: boolean;
         /**
         * Vertical or horizontal scroller? 'x' or 'y'. (default: 'x')
         */
@@ -22,11 +22,11 @@ module JQueryTinyScrollbar {
         /**
         * Enable or disable the mousewheel. (default: true)
         */
-        scroll?: bool;
+        scroll?: boolean;
         /**
         * Return scrollwheel event to browser if there is no more content. (default: true)
         */
-        lockscroll?: bool;
+        lockscroll?: boolean;
         /**
         * Set the size of the scrollbar to auto or a fixed number. (default: 'auto')
         */