| Index: trunk/tools/subversion/users.php |
| — | — | @@ -1,17 +1,18 @@ |
| 2 | | -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> |
| 3 | | -<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en" dir="ltr"> |
| 4 | | -<head> |
| 5 | | -<title>Wikimedia Subversion user list</title> |
| 6 | | -<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> |
| 7 | | -</head> |
| 8 | | -<body> |
| 9 | | -<h1>Wikimedia Subversion user list</h1> |
| 10 | | -<table border="1"> |
| 11 | | -<tr> |
| 12 | | -<th>Username</th> |
| 13 | | -<th>Real name</th> |
| 14 | | -<th>Ready for git?</th> |
| 15 | | -</tr> |
| | 2 | +<!DOCTYPE html> |
| | 3 | +<html> |
| | 4 | + <head> |
| | 5 | + <meta http-equiv="Content-Type" content="text/html; charset=utf-8" /> |
| | 6 | + <title>Wikimedia Subversion user list</title> |
| | 7 | + </head> |
| | 8 | + |
| | 9 | + <body> |
| | 10 | + <h1>Wikimedia Subversion user list</h1> |
| | 11 | + <table border="1"> |
| | 12 | + <tr> |
| | 13 | + <th>Username</th> |
| | 14 | + <th>Real name</th> |
| | 15 | + <th>Ready for git?</th> |
| | 16 | + </tr> |
| 16 | 17 | <?php |
| 17 | 18 | |
| 18 | 19 | $time = microtime( true ); |