Changeset 1731
- Timestamp:
- 06/09/07 00:19:50 (18 months ago)
- Files:
-
- 1 modified
-
trunk/gregarius/admin/config.php (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/gregarius/admin/config.php
r1728 r1731 28 28 /*************** Config management ************/ 29 29 30 $OBSOLETE_CONFIG_OPTIONS = array('rss.config.plugins',31 'rss.output.theme',32 'rss.output.barefrontpage',33 'rss.output.noreaditems',34 'rss.output.cachedir',35 'rss.output.showdevloglink',36 'rss.output.numitemsonpage');37 38 30 function config() { 39 global $OBSOLETE_CONFIG_OPTIONS; 40 31 41 32 echo "<h2 class=\"trigger\">".__('Configuration:')."</h2>\n" 42 33 ."<div id=\"admin_config\" class=\"trigger\">\n"; … … 51 42 while ($row = rss_fetch_assoc($res)) { 52 43 // Don't show old/moved config keys in the main config list 53 if (in_array($row['key_'], $OBSOLETE_CONFIG_OPTIONS)) { 44 if (in_array($row['key_'], array( 45 'rss.config.plugins', 46 'rss.output.theme', 47 'rss.output.barefrontpage', 48 'rss.output.noreaditems', 49 'rss.output.cachedir', 50 'rss.output.showdevloglink', 51 'rss.output.numitemsonpage'))) { 54 52 continue; 55 53 }
