From a9823af18849754870a8933e65cc66a8190abb52 Mon Sep 17 00:00:00 2001
From: Dick van den Brink <d_vandenbrink@live.com>
Date: Thu, 5 Sep 2013 13:59:42 +0200
Subject: [PATCH] Added jquery mobile loader options to definition.

---
 jquerymobile/jquerymobile.d.ts | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/jquerymobile/jquerymobile.d.ts b/jquerymobile/jquerymobile.d.ts
index b4c9298ea..8dacdbc11 100644
--- a/jquerymobile/jquerymobile.d.ts
+++ b/jquerymobile/jquerymobile.d.ts
@@ -274,12 +274,19 @@ interface LoadPageOptions {
     type?: string;
 }
 
+interface LoaderOptions {
+    theme?: string;
+    textVisible?: boolean;
+    html?: string;
+    text?: string;
+}
+
 interface JQueryMobile extends JQueryMobileOptions {
 
     changePage(to: any, options?: ChangePageOptions): void;
     initializePage(): void;
     loadPage(url: any, options?: LoadPageOptions): void;
-    loading(command: string, options? ): void;
+    loading(command: string, options?: LoaderOptions): void;
 
     base;
     silentScroll(yPos: number): void;
@@ -378,4 +385,4 @@ interface JQuery {
 
 interface JQueryStatic {
     mobile: JQueryMobile;
-}
+}