search

phalcon / phalcon-devtools

Phalcon Developer Tools
https://docs.phalcon.io/latest/en/devtools
Other
1.33k stars 630 forks source link

Missing PHP Phalcon module #1462

Closed epr-ds closed 4 years ago

epr-ds commented 4 years ago

Questions should go to https://forum.phalconphp.com Documentation issues should go to https://github.com/phalcon/docs/issues

Expected and Actual Behavior

Hello! After installing phalcon in latest version (v.4) and also psr extesions on Windows 10 with xampp, and obviously restarting httpd service, evertything seems to be okay from php info page. Phalcon and PSR are 'loaded' and shown un such page. But in CLI, if i type php --ri phalcon or php -m none phalcon life sign there in spite of php --ini shows pointing to the xampp php.ini file correctly. I would really appreciate any support.

php -m output

php -m 
[PHP Modules]
bcmath
calendar
Core
ctype
curl
date
dom
filter
hash
iconv
json
libxml
mbstring
mysqlnd
openssl
pcre
PDO
Phar
readline
Reflection
session
SimpleXML
SPL
standard
tokenizer
xml
xmlreader
xmlwriter
zip
zlib
[Zend Modules]

php -v output

PHP 7.4.4 (cli) (built: Mar 17 2020 13:49:19) ( ZTS Visual C++ 2017 x64 )
Copyright (c) The PHP Group
Zend Engine v3.4.0, Copyright (c) Zend Technologies

php --ini output

Configuration File (php.ini) Path: C:\WINDOWS
Loaded Configuration File:         C:\App\xampp\php\windowsXamppPhp\php.ini
Scan for additional .ini files in: (none)
Additional .ini files parsed:      (none)

php ---ri phalcon output

Extension 'phalcon' not present.

Details

ruudboon commented 4 years ago

Can you check in your phpinfo if more ini files are used?

epr-ds commented 4 years ago

Can you check in your phpinfo if more ini files are used?

Not sure if type whole output here, but if it's required for future consultations I'll put it. By now, I leave a temporary .html file

ruudboon commented 4 years ago

You php cli is using: C:\App\xampp\php\windowsXamppPhp\php.ini Your webserver is using: C:\App\xampp\php\php.ini

Looks like the extensions are missing from php.ini loaded by your cli

epr-ds commented 4 years ago

Thanks a lot. I didn't realise about that. I've changed the php cli path pointing to webserserver php.ini as well.