mirror of
https://github.com/php/web-php.git
synced 2026-03-23 23:02:13 +01:00
53e9973cf9
Work so far: * Split the (terrific) article bjori wrote out into a separate page. * Move the notes for running the tests into a separate page and clean them up to be a bit easier to follow. Plans: * Write a rough step-by-step guide to submitting a pull request — we have information on the Wiki around merging a pull request, and information scattered across the site on using Git, but nothing that really pulls it together.
6 lines
160 B
PHP
6 lines
160 B
PHP
<?php
|
|
$_SERVER['BASE_PAGE'] = 'get-involved/index.php';
|
|
include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc';
|
|
|
|
mirror_redirect('/get-involved.php');
|