Bugfix: removed deprecated comment from php ini