Multiserver support #20
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Init of readme
Images directory and names changed
Open links in new tab
Broken links fixed
Emphasis on notes
Different Key types screen shot added
License added
License added
Conflicts: README.md
These are not images
…e short tags for the PHP scripts.
Apache sample configuration and PHP short tags
…w, instead of /var/www/phpredmin
Apache2 Alias correction. Poiting to /var/www/phpredmin/public dir now, ...
$_SERVER['HTTPS'] could be set, but empty
Update router.php
Namely, replaced __dir__ with dirname(__FILE__)
Removed code incompatible with PHP 5.2.*
Bulk actions added (Right now just delete)
Add navigation for servers and dbs Change all urls to include server and db ids
Closed
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This pull request contains multiserver support.
For some unknown reason it also contains lot of old commits.
Commits that should be merged are started from "4da7ec5"
Probably they should be merged using cherry-picking http://mispdev.blogspot.nl/2013/02/github-cherry-picking-commits-from-pull.html