@echo off

set app_root=%~dp0
set PATH=%app_root%\php;%PATH%

set ext_path=%app_root%\php\ext
set ini_path=%app_root%\php\php.ini

cd /d "%app_root%\dokuwiki"

php -c "%ini_path%" -d extension_dir="%ext_path%" -S 127.0.0.1:9003