[Phpwiki-patches] Patch for RichTable.php: enrich syntax for attributes

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

Hello Reini, hello to all,

Best wishes for 2008 to all.

Please find attached a patch to enrich the syntax for attributes
in the RichTable plugin.

The patch allows to use attributes with or without quotes (")
  border=1, cellpadding="5"
  style="font-family: sans-serif; border-top:1px solid #dddddd;

Before, it was not possible to use quotes, so you could not
do things like
style="font-family: sans-serif; border-top:1px solid #dddddd;

It is still possible to write without quotes.

Perhaps the Plugin documentation can be updated also.

Reini, I have implemented the Mediawiki syntax for tables
(with a new plugin and a modification of the parser).
Are you interested that I submit that?

Best regards,

-- 
==================================================================    ------
| 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                  |    ------
==================================================================