[DOC-WEB] [web-doc] master: Make it easy to find untranslated files.

0 views
Skip to first unread message

Nilgün Belma Bugüner

unread,
Nov 15, 2022, 7:07:38 AM11/15/22
to doc...@lists.php.net
Author: Nilgün Belma Bugüner (nilgun)
Date: 2022-11-15T15:07:24+03:00

Commit: https://github.com/php/web-doc/commit/61894c1f4e94983797b787e8121d7e36a1a0c204
Raw diff: https://github.com/php/web-doc/commit/61894c1f4e94983797b787e8121d7e36a1a0c204.diff

Make it easy to find untranslated files.

Changed paths:
M www/revcheck.php


Diff:

diff --git a/www/revcheck.php b/www/revcheck.php
index 2bef309..75beab2 100644
--- a/www/revcheck.php
+++ b/www/revcheck.php
@@ -102,26 +102,50 @@
echo '<p>All files translated? Would be nice... but it\'s probably an error :(</p>';
} else {
$num = count($missfiles);
+ $last_dir = false;
+ $first_dir = false;
+ echo '<p>Choose a directory:</p>';
+ echo '<form method="get" action="revcheck.php"><p><select name="dir">';
+ foreach ($missfiles as $miss) {
+ if (isset($_GET['dir']) && $_GET['dir'] == $miss['dir']) {
+ $selected = ' selected="selected"';
+ } else {
+ $selected = '';
+ }
+ if (!$last_dir || $last_dir != $miss['dir']) {
+ echo '<option value="'.$miss['dir'].'"'.$selected.'>'.$miss['dir'].'</option>';
+ $last_dir = $miss['dir'];
+ if (!$first_dir) $first_dir = $last_dir;
+ }
+ }
+ echo '</select>';
+ echo '<input type="hidden" name="p" value="missfiles">';
+ echo '<input type="hidden" name="lang" value="'.$lang.'">';
+ echo '<input type="submit" value="See untranslated files"></p></form>';
+
echo '<table class="c">';
- echo '<tr><th rowspan="1">Available for translation ('.$num.' files):</th><th>Commit Hash</th><th colspan="1">kB</th></tr>';
+ echo '<tr><th rowspan="1">Available for translation</th><th>Commit Hash</th><th colspan="1">kB</th></tr>';

$last_dir = false;
$total_size = 0;
+ $dir = isset($_GET['dir']) ? $_GET['dir'] : $first_dir;
foreach ($missfiles as $miss) {
- if (!$last_dir || $last_dir != $miss['dir']) {
- echo '<tr><th colspan="3">'.$miss['dir'].'</th></tr>';
- $last_dir = $miss['dir'];
- }
- $key = $miss['dir'] == '' ? "/" : $miss['dir']."/". $miss['file'];
- echo "<tr><td><a href='https://github.com/php/doc-en/blob/{$miss['revision']}/$key'>{$miss['file']}</a></td><td>{$miss['revision']}</td><td>{$miss['size']}</td></tr>";
- $total_size += $miss['size'];
- // flush every 200 kbytes
- if (($total_size % 200) == 0)
- flush();
+ if ($dir == $miss['dir']) {
+ if (!$last_dir || $last_dir != $miss['dir']) {
+ echo '<tr><th colspan="3">'.$miss['dir'].'</th></tr>';
+ $last_dir = $miss['dir'];
+ }
+ $key = $miss['dir'] == '' ? "/" : $miss['dir']."/". $miss['file'];
+ echo "<tr><td><a href='https://github.com/php/doc-en/blob/{$miss['revision']}/$key'>{$miss['file']}</a></td><td>{$miss['revision']}</td><td>{$miss['size']}</td></tr>";
+ $total_size += $miss['size'];
+ // flush every 200 kbytes
+ if (($total_size % 200) == 0)
+ flush();
+ }
+ }
+ echo "<tr><th colspan='3'>Total Size: $total_size kB</th></tr>";
+ echo '</table>';
}
- echo "<tr><th colspan='3'>Total Size ($num files): $total_size kB</th></tr>";
- echo '</table>';
- }
echo gen_date($DBLANG);
break;


--
Documentation Website Mailing List (http://doc.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php

Reply all
Reply to author
Forward
0 new messages