[gnome-shell] main: Update doc comment

[Florian Müllner <fmuellner src gnome org>]

commit af6ed9e02a6854a80a72efa98b1421b02e9c72db
Author: Florian Müllner <fmuellner gnome org>
Date:   Thu Nov 27 14:43:03 2014 +0000

    main: Update doc comment

 js/ui/main.js |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/js/ui/main.js b/js/ui/main.js
index 4735cbe..9467d56 100644
--- a/js/ui/main.js
+++ b/js/ui/main.js
@@ -256,7 +256,7 @@ function _loadDefaultStylesheet() {
  *
  * Get the theme CSS file that the shell will load
  *
- * Returns: A file path that contains the theme CSS,
+ * Returns: A #GFile that contains the theme CSS,
  *          null if using the default
  */
 function getThemeStylesheet() {