Author: marcimat@rezo.net
Date: 2017-07-12 10:53:18 +0200 (mer, 12 jui 2017)
New Revision: 23657
Log:
PHPDoc de joli_repertoire et spip_timer
Modified:
spip/ecrire/inc/utils.php
Details: http://core.spip.org/projects/spip/repository/revisions/23657