From d5abdb028fa886eccd22656a3ed2cdbf4ad23dde Mon Sep 17 00:00:00 2001
From: Uwe Steinmann <steinm@debian.org>
Date: Thu, 2 May 2013 22:32:11 +0200
Subject: [PATCH] add tab for configuring extensions

---
 views/bootstrap/class.Settings.php | 37 ++++++++++++++++++++++++++++++
 1 file changed, 37 insertions(+)

diff --git a/views/bootstrap/class.Settings.php b/views/bootstrap/class.Settings.php
index 5ddb82a9b..f4c91d3c5 100644
--- a/views/bootstrap/class.Settings.php
+++ b/views/bootstrap/class.Settings.php
@@ -58,6 +58,7 @@ if(!is_writeable($settings->_configFilePath)) {
 	  <li class="active"><a data-target="#site" data-toggle="tab"><?php printMLText('settings_Site'); ?></a></li>
 	  <li><a data-target="#system" data-toggle="tab"><?php printMLText('settings_System'); ?></a></li>
 	  <li><a data-target="#advanced" data-toggle="tab"><?php printMLText('settings_Advanced'); ?></a></li>
+	  <li><a data-target="#extensions" data-toggle="tab"><?php printMLText('settings_Extensions'); ?></a></li>
 	</ul>
 
 	<div class="tab-content">
@@ -516,6 +517,42 @@ if(!is_writeable($settings->_configFilePath)) {
     </table>
 <?php		$this->contentContainerEnd(); ?>
   </div>
+
+	  <div class="tab-pane" id="extensions">
+<?php		$this->contentContainerStart(); ?>
+    <table class="table-condensed">
+      <!--
+        -- SETTINGS - ADVANCED - DISPLAY
+      -->
+<?php
+				foreach($GLOBALS['EXT_CONF'] as $extname=>$extconf) {
+?>
+      <tr ><td><b><?php echo $extconf['title'];?></b></td></tr>
+<?php
+					foreach($extconf['config'] as $confkey=>$conf) {
+?>
+      <tr title="<?php echo $extconf['title'];?>">
+        <td><?php echo $conf['title'];?>:</td><td>
+<?php
+						switch($conf['type']) {
+							case 'checkbox':
+?>
+        <input type="checkbox" name="<?php echo "extensions[".$extname."][".$confkey."]"; ?>" value="1" <?php if(isset($settings->_extensions[$extname][$confkey]) && $settings->_extensions[$extname][$confkey]) echo 'checked'; ?> />
+<?php
+								break;
+							default:
+?>
+        <input type="text" name="<?php echo "extensions[".$extname."][".$confkey."]"; ?>" value="<?php if(isset($settings->_extensions[$extname][$confkey])) echo $settings->_extensions[$extname][$confkey]; ?>" size="<?php echo $conf['size']; ?>" />
+<?php
+						}
+?>
+      </td></tr>
+<?php
+					}
+				}
+?>
+		</table>
+	</div>
   </div>
 <?php
 if(is_writeable($settings->_configFilePath)) {