[Phpwiki-talk] class Theme

[Marc-Etienne V. <Mar...@al...>]

Hello Reini,

Some time ago, the global variable $Theme was renamed to
$WikiTheme in order to avoid a name clash in the Gforge
integeration of Phpwiki.

We still have a name clash with "class Theme" in file Theme.php

I would like to rename "class Theme" to "class WikiTheme".

Is this a problem?
Should I in that case rename file Theme.php to WikiTheme.php?

Best regards,

Marc-Etienne

-- 
==================================================================    ------
| Marc-Etienne Vargenau                                          |   /      \
| Alcatel-Lucent France, Route de Villejust, 91620 NOZAY, FRANCE |  /  /|'`  \
| +33 (0)1 30 77 28 33, Mar...@al...  | |  /'| '   |
==================================================================  \   |/   /
| L'essence des Mathématiques est dans leur liberté.             |   \      /
|                                Georges Cantor                  |    ------
==================================================================