Author: renato@rezo.net
Date: 2007-05-16 15:24:36 +0200 (mer, 16 mai 2007)
New Revision: 9298
Log:
change name of the jQuery plugin from SEhighlight to SearchHighlight
Added:
spip/dist/javascript/SearchHighlight.js
Removed:
spip/dist/javascript/SEhighlight.js
Modified:
spip/ecrire/inc/surligne.php