0002032: user_theme() should return default if theme does not exist
authorJoe Hunt <joe.hunt.consulting@gmail.com>
Sun, 27 Jan 2013 00:35:23 +0000 (01:35 +0100)
committerJoe Hunt <joe.hunt.consulting@gmail.com>
Sun, 27 Jan 2013 00:35:23 +0000 (01:35 +0100)
commit04a87fc9ddc74e3a94c6ceac0d6c0365c70c631e
treeb75587e2c0750183f36e816349e599816721ceb5
parent5cd6b002f044d4b70d16f864cbbcc3f997f3cbf8
0002032: user_theme() should return default if theme does not exist
includes/prefs/userprefs.inc