[MDEV-18075] Update documentation to reflect INSTALL PLUGIN IF NOT EXISTS etc. (MDEV-16294) Created: 2018-12-24 Updated: 2018-12-27 Resolved: 2018-12-27 |
|
| Status: | Closed |
| Project: | MariaDB Server |
| Component/s: | Documentation |
| Fix Version/s: | N/A |
| Type: | Task | Priority: | Major |
| Reporter: | Elena Stepanova | Assignee: | Ian Gilfillan |
| Resolution: | Fixed | Votes: | 0 |
| Labels: | None | ||
| Issue Links: |
|
||||||||
| Description |
|
INSTALL PLUGIN IF NOT EXISTS |