diff options
| author | Andreas Gohr <andi@splitbrain.org> | 2007-06-29 23:06:48 +0200 |
|---|---|---|
| committer | Andreas Gohr <andi@splitbrain.org> | 2007-06-29 23:06:48 +0200 |
| commit | dde31035d6c8f6faa74c70f15473fcf38655decb (patch) | |
| tree | 602af02235bdb2774c2ed7d1660d11ab46101d0c /inc/geshi/php.php | |
| parent | 96de80f72d3cdfae898d8080e369edfb047dfb03 (diff) | |
| download | rpg-dde31035d6c8f6faa74c70f15473fcf38655decb.tar.gz rpg-dde31035d6c8f6faa74c70f15473fcf38655decb.tar.bz2 | |
Show config option names in config manager
This patch outputs the config name in the config manager (instead of using a title
tag) which makes it easier to search (ctrl-f) for a specific option.
darcs-hash:20070629210648-7ad00-0e2a689b04c747298ee50b20bce287069393a84b.gz
Diffstat (limited to 'inc/geshi/php.php')
0 files changed, 0 insertions, 0 deletions