Convert all tabs to spaces

Simplify GitHub pull request form

The form for attaching pull requests doesn't need to upload files.

Refactor numerical Captcha package into class

The Text_CAPTCHA_Numeral can be integrated in the project source code
instead of using a separate unmaintained dependency.

This pat

Refactor numerical Captcha package into class

The Text_CAPTCHA_Numeral can be integrated in the project source code
instead of using a separate unmaintained dependency.

This patch also adds a simple unit test.

show more ...

Fix typo in Add GitHub Pull Request template

Remove redundant script type="text/javascript" attributes

Omitted type means that script is JavaScript [1] and for HTML 5 browsers
can be removed today.

[1] https://developer.mo

Remove redundant script type="text/javascript" attributes

Omitted type means that script is JavaScript [1] and for HTML 5 browsers
can be removed today.

[1] https://developer.mozilla.org/en-US/docs/Web/HTML/Element/script

show more ...

Update http to https

Changes:
- http links updated to https (those that work so far)
- us3.php.net mirror changed to php.net for fetching PHP versions
- some outdated links refre

Update http to https

Changes:
- http links updated to https (those that work so far)
- us3.php.net mirror changed to php.net for fetching PHP versions
- some outdated links refreshed

show more ...

Remove ascending ordering of GitHub PRs

Using json instead of JSONP. per_page=100 applied to repos and pulls.
Will work if there are more than 100 php repos or pull requests.

Follow Meta->Link->Next on github jsonp in order to fetch all PHP repos.
per_page param added when fetching PHP repos

Remove XHTML

Slightly improve loading feedback, incl. adding small image

Add possibility to add rull requests to a bug report