diff options
author | filip <filip.komar@gmail.com> | 2014-12-20 11:17:55 +0100 |
---|---|---|
committer | filip <filip.komar@gmail.com> | 2014-12-20 11:17:55 +0100 |
commit | a4dc6f0ab3e117565f1a0ee0e206e1f21269ffed (patch) | |
tree | cf38fa852cf82b924a4132b6dc3f098cee5db33e /langs/report_tx_git.php | |
parent | 75fe653c2c76e51bd51833361bc89d845fc4c0a1 (diff) | |
download | www-a4dc6f0ab3e117565f1a0ee0e206e1f21269ffed.tar www-a4dc6f0ab3e117565f1a0ee0e206e1f21269ffed.tar.gz www-a4dc6f0ab3e117565f1a0ee0e206e1f21269ffed.tar.bz2 www-a4dc6f0ab3e117565f1a0ee0e206e1f21269ffed.tar.xz www-a4dc6f0ab3e117565f1a0ee0e206e1f21269ffed.zip |
wait for now with differences between Tx and our git repository for software translations
Diffstat (limited to 'langs/report_tx_git.php')
-rw-r--r-- | langs/report_tx_git.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/langs/report_tx_git.php b/langs/report_tx_git.php index 846f282ed..dc4f5e8bb 100644 --- a/langs/report_tx_git.php +++ b/langs/report_tx_git.php @@ -37,7 +37,7 @@ include 'lib.php'; $errors = array(); // stored for error management ;) $c = (isset($_GET['c']) ? strip_tags(trim($_GET['c'])) : ''); -if (in_array($c, array('Webpages', 'Documentation', 'Cauldron'))) { +if (in_array($c, array('Webpages', 'Documentation'/*, 'Cauldron'*/))) { $resource_type = $c; // filter only valid resource types } else { $resource_type = 'Webpages'; // default @@ -476,7 +476,7 @@ if ('Documentation' != $resource_type) { $links[] = '<a href="./report_tx_git.php?c=Documentation">documentation translations</a>'; } if ('Cauldron' != $resource_type) { - $links[] = '<a href="./report_tx_git.php?c=Cauldron">software translations</a>'; +// $links[] = '<a href="./report_tx_git.php?c=Cauldron">software translations</a>'; } $reports_links = '<p>You can also see reports about differences in ' . implode(" or ", $links) . '.</p>'; echo $reports_links . PHP_EOL; |