diff options
author | Christoph Brill <egore911@egore911.de> | 2017-08-22 09:07:16 +0000 |
---|---|---|
committer | Christoph Brill <egore911@egore911.de> | 2017-08-22 09:07:16 +0000 |
commit | 3ec4c7d8be4a6f0787003e1b0e3ba122e93c5b56 (patch) | |
tree | a9150b3398dc55f0d8a72eb24a2e88e71521b0bc | |
parent | f1f948173366a08428c7d2387503b56a7dfc0d3c (diff) |
Add channels 'freedesktop' and 'openchrome'
-rw-r--r-- | common.inc.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/common.inc.php b/common.inc.php index 612b73b..e8eb4fa 100644 --- a/common.inc.php +++ b/common.inc.php @@ -34,7 +34,7 @@ date_default_timezone_set('US/Pacific'); define('LOG_DIR', './'); -$channels = array ('dri-devel', 'radeon', 'nouveau', 'wayland', 'd3d9', 'freedreno', 'lima', 'etnaviv', 'intel-gfx'); +$channels = array ('dri-devel', 'radeon', 'nouveau', 'wayland', 'd3d9', 'freedreno', 'lima', 'etnaviv', 'intel-gfx', 'freedesktop', 'openchrome'); if (isset($_GET['channel'])) { $channel = $_GET['channel']; |