Fix so disabling emoticons plugin really removes emoticons button from HTML...

Aleksander Machniak

2015-10-27 2aa9ee56fd8f4e36c9d5c65cf1b7dc15def11f82

1
2
3
4
5
6
7
require ["include"];
include "script.sieve";
# rule:[two]
if true
{
    include :optional "second.sieve";
}