mirror of
https://github.com/MariaDB/server.git
synced 2025-01-16 12:02:42 +01:00
fix feedback plugin for 5.2
This commit is contained in:
parent
eeca1f8694
commit
d94ad2ad40
1 changed files with 19 additions and 1 deletions
|
@ -352,4 +352,22 @@ mysql_declare_plugin(feedback)
|
|||
NULL
|
||||
}
|
||||
mysql_declare_plugin_end;
|
||||
|
||||
#ifdef MARIA_PLUGIN_INTERFACE_VERSION
|
||||
maria_declare_plugin(feedback)
|
||||
{
|
||||
MYSQL_INFORMATION_SCHEMA_PLUGIN,
|
||||
&feedback::feedback,
|
||||
"FEEDBACK",
|
||||
"Sergei Golubchik",
|
||||
"MariaDB User Feedback Plugin",
|
||||
PLUGIN_LICENSE_GPL,
|
||||
feedback::init,
|
||||
feedback::free,
|
||||
0x0100,
|
||||
NULL,
|
||||
feedback::settings,
|
||||
"1.0",
|
||||
MariaDB_PLUGIN_MATURITY_BETA
|
||||
}
|
||||
mysql_declare_plugin_end;
|
||||
#endif
|
||||
|
|
Loading…
Reference in a new issue