r4072 platform_is_ok(): update for the recent two extensions used
-rw-r--r-- 4493 COPYING
-rw-r--r-- 22818 ChangeLog
-rw-r--r-- 17987 LICENSE
-rw-r--r-- 6890 README
-rw-r--r-- 1948 ajax.php
drwxr-xr-x - css
-rw-r--r-- 575 download.php
-rw-r--r-- 1406 favicon.ico
drwxr-xr-x - gateways
drwxr-xr-x - inc
-rw-r--r-- 2724 index.php
-rw-r--r-- 10962 install.php
drwxr-xr-x - install
drwxr-xr-x - js
drwxr-xr-x - pix
-rw-r--r-- 5719 popup.php
-rw-r--r-- 1762 process.php
-rw-r--r-- 7511 render_image.php
-rwxr-xr-x 3716 syncdomain.php
-rw-r--r-- 57980 upgrade.php