mirror of
https://github.com/php/web-php.git
synced 2026-03-23 23:02:13 +01:00
80cd8f4bd74ed6631064ed4f64701b6fff3c1154
MD5 is likely to be deprecated/removed soon, best to make all the tools ready for that.
Temporary hack to fix PHP Bug #49956 for ext/mysqli. This does not close the bug. Using phd to merge search and manual-lookup.sqlite data is the likely real fix. This patch adds mysqli functions to .
Local development
This is the git repo for the official www.php.net website.
To setup a local mirror of the website:
$ git clone https://github.com/php/web-php.git
$ cd web-php
$ php -S localhost:8080 .router.php
This repo includes most (generated) files that are required for normal operation of this website, such as
- News & events data
- Several manual pages (and a translation), see manual/{en,ja}/
- User contributed notes for manual pages
- A "router" for the builtin PHP webserver
Setting up an official mirror
To install a full official mirror please see the mirroring guidelines.
Description
⚠️ ARCHIVED: Original GitHub repository no longer exists. Preserved as backup on 2026-01-22T16:26:27.645Z
Languages
PHP
94.4%
CSS
2.6%
JavaScript
2.5%
PowerShell
0.2%
TypeScript
0.2%