Fix issue #86 : possibilité de changer de thème

Désormais il est possible de créer des thèmes. Le thème peut être changé
sur la page de configuration. Les thèmes sont détectés grâce à un
fichier metadata.json détaillant le nom du thème, son auteur, une petite
description et une version.

Un nouveau thème "Flat design" a été ajouté et est pleinement
fonctionnel

1 files changed, 38 insertions, 0 deletions

diff --git a/app/models/RSSThemes.php b/app/models/RSSThemes.php
new file mode 100644
index 000000000..291b295e3
--- /dev/null
+++ b/app/models/RSSThemes.php
@@ -0,0 +1,38 @@
+<?php
+
+class RSSThemes extends Model {
+	private static $themes_dir = '/themes';
+
+	private static $list = array();
+
+	public static function init() {
+		$basedir = PUBLIC_PATH . self::$themes_dir;
+
+		$themes_list = array_diff(
+			scandir($basedir),
+			array('..', '.')
+		);
+
+		foreach ($themes_list as $theme_dir) {
+			$json_filename = $basedir . '/' . $theme_dir . '/metadata.json';
+			if(file_exists($json_filename)) {
+				$content = file_get_contents($json_filename);
+				$res = json_decode($content, true);
+
+				if($res &&
+					isset($res['name']) &&
+					isset($res['author']) &&
+					isset($res['description']) &&
+					isset($res['version'])) {
+					$theme = $res;
+					$theme['path'] = $theme_dir;
+					self::$list[] = $theme;
+				}
+			}
+		}
+	}
+
+	public static function get() {
+		return self::$list;
+	}
+}
\ No newline at end of file