diff options
Diffstat (limited to 'libraries/logging.lib.php')
| -rw-r--r-- | libraries/logging.lib.php | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/libraries/logging.lib.php b/libraries/logging.lib.php deleted file mode 100644 index a531ba3cc4..0000000000 --- a/libraries/logging.lib.php +++ /dev/null @@ -1,19 +0,0 @@ -<?php -/* vim: set expandtab sw=4 ts=4 sts=4: */ -/** - * Logging functionality for webserver. - * - * This includes web server specific code to log some information. - * - * @version $Id$ - * @package phpMyAdmin - */ - -function PMA_log_user($user, $status = 'ok'){ - if (function_exists('apache_note')) { - apache_note('userID', $user); - apache_note('userStatus', $status); - } -} - -?> |