https://git.spip.net/spip-galaxie/plugins-spip-net/src/commit/4b3c04a04507eb639c737f81319c762134f0b8ef/plugins/pluginspip/pluginspip_options.php#L33