diff --git a/libraries/plugin_interface.lib.php b/libraries/plugin_interface.lib.php
new file mode 100644
index 000000000..4d2718c91
--- /dev/null
+++ b/libraries/plugin_interface.lib.php
@@ -0,0 +1,157 @@
+ $val) {
+ $ret .= '' . "\n";
+ $ret .= '' . "\n";
+ $ret .= '' . "\n";
+ $ret .= '
' . "\n";
+ }
+ return $ret;
+}
+
+function PMA_pluginGetOneOption($section, $key, $id, &$opt) {
+ $ret = '';
+ if ($opt['type'] == 'bool') {
+ $ret .= '';
+ $ret .= '';
+ } elseif ($opt['type'] == 'text') {
+ $ret .= '';
+ $ret .= '';
+ } else {
+ /* This should be seen only by plugin writers, so I do not thing this needs translation. */
+ $ret .= 'UNKNOWN OPTION IN IMPORT PLUGIN ' . $key . '!';
+ }
+ $ret .= '
';
+ return $ret;
+}
+
+function PMA_pluginGetOptions($section, &$list) {
+ $ret = '';
+ // Options for plugins that support them
+ foreach($list as $key => $val) {
+ $ret .= '