mirror of
https://github.com/FreshRSS/FreshRSS.git
synced 2026-01-27 14:48:08 -05:00
abb25a58dc
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
38 lines
808 B
PHP
38 lines
808 B
PHP
<?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;
|
|
}
|
|
} |