r4072 platform_is_ok(): update for the recent two extensions used
authorDenis Ovsienko <infrastation@yandex.ru>
Mon, 27 Dec 2010 15:04:16 +0000 (15:04 +0000)
committerDenis Ovsienko <infrastation@yandex.ru>
Mon, 27 Dec 2010 15:04:16 +0000 (15:04 +0000)
commit895774cffc4f5d032bb084e4ea7b929ee9f913ec
tree9099c9daec89fe78066e3a0d7e02366fce1ea406
parentd7638b46437c0e7cb04c8545ffa6f92e22229a93
r4072 platform_is_ok(): update for the recent two extensions used
inc/dictionary.php