projects / phppgadmin.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c428e67) | patch
Fix a PHP warning about "Undefined index"
authorJehan-Guillaume (ioguix) de Rorthais <ioguix@free.fr>
Tue, 5 Mar 2013 23:03:26 +0000 (00:03 +0100)
committerJehan-Guillaume (ioguix) de Rorthais <ioguix@free.fr>
Tue, 5 Mar 2013 23:06:21 +0000 (00:06 +0100)
commite7c81cfb4b89398d6accbd2b0f0af3c8507c9666
treee9def98441225f8756e0ba0236b5dce802473461tree
parentc428e67f1c7ad2f5080e1ec15aa88932dc5f922ccommit | diff
Fix a PHP warning about "Undefined index"

We must keep track of the nohistory parameter between each call of
display.php.
display.php diff | blob | blame | history
phpPgAdmin is the premiere web based administration tool for PostgreSQL.