Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/phpmyadmin/phpmyadmin.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSebastian Mendel <cybot_tm@users.sourceforge.net>2006-09-21 18:28:46 +0400
committerSebastian Mendel <cybot_tm@users.sourceforge.net>2006-09-21 18:28:46 +0400
commit1eadc0a41a8173e019ff92f3ed41ab0ca7dc3025 (patch)
treef4fbd7f212c4be189a801438bbf3dd3b01d01764 /server_collations.php
parentca44c117a29e60bbe7c33220e2f9a7b484b8d62a (diff)
use @todo tag for todo items, to show up in generated documentation
Diffstat (limited to 'server_collations.php')
-rw-r--r--server_collations.php4
1 files changed, 2 insertions, 2 deletions
diff --git a/server_collations.php b/server_collations.php
index 66be80e86b..34a8c83377 100644
--- a/server_collations.php
+++ b/server_collations.php
@@ -34,10 +34,10 @@ echo '<h2>' . "\n"
/**
- * Checks the MySQL version
+ * exits if wrong MySQL version
+ * @todo Some nice Message :-)
*/
if (PMA_MYSQL_INT_VERSION < 40100) {
- // TODO: Some nice Message :-)
require_once('./libraries/footer.inc.php');
}