changed <? to <?php in a few places in options_*
authorlkehresman <lkehresman@7612ce4b-ef26-0410-bec9-ea0150e637f0>
Mon, 24 Jul 2000 12:17:36 +0000 (12:17 +0000)
committerlkehresman <lkehresman@7612ce4b-ef26-0410-bec9-ea0150e637f0>
Mon, 24 Jul 2000 12:17:36 +0000 (12:17 +0000)
commit6170c5b67a268a9dc31646d7c5643befe8ec01ba
treea1d78e91426c3d68c87b08655ff5cec2275ba4ca
parent70ed9428552465481e59d3372b5b8260773eb011
changed <? to <?php in a few places in options_*
added dark_grey_theme from Justin Miller <lordpaco@sanguinis.net>

git-svn-id: https://svn.code.sf.net/p/squirrelmail/code/trunk/squirrelmail@630 7612ce4b-ef26-0410-bec9-ea0150e637f0
config/config_default.php
config/dark_grey_theme.php [new file with mode: 0644]
src/options.php
src/options_display.php
src/options_folder.php
src/options_highlight.php
src/options_personal.php