2011-02-09 16:57:10 +00:00
|
|
|
<?php
|
|
|
|
function adminer_object() {
|
|
|
|
// required to run any plugin
|
|
|
|
include_once "../plugins/plugin.php";
|
|
|
|
|
|
|
|
// autoloader
|
|
|
|
foreach (glob("../plugins/*.php") as $filename) {
|
|
|
|
include_once $filename;
|
|
|
|
}
|
2011-02-09 20:15:34 +00:00
|
|
|
|
2011-03-24 15:23:26 +00:00
|
|
|
$plugins = array(
|
2011-02-09 16:57:10 +00:00
|
|
|
// specify enabled plugins here
|
2012-02-24 06:56:03 +00:00
|
|
|
new AdminerDatabaseHide(array('information_schema')),
|
2011-02-17 10:47:36 +00:00
|
|
|
new AdminerDumpZip,
|
2011-02-09 16:57:10 +00:00
|
|
|
new AdminerDumpXml,
|
2011-08-08 15:19:56 +00:00
|
|
|
//~ new AdminerSqlLog("past-" . rtrim(`git describe --tags --abbrev=0`) . ".sql"),
|
2011-03-25 14:59:19 +00:00
|
|
|
//~ new AdminerEditCalendar("<script type='text/javascript' src='../externals/jquery-ui/jquery-1.4.4.js'></script>\n<script type='text/javascript' src='../externals/jquery-ui/ui/jquery.ui.core.js'></script>\n<script type='text/javascript' src='../externals/jquery-ui/ui/jquery.ui.widget.js'></script>\n<script type='text/javascript' src='../externals/jquery-ui/ui/jquery.ui.datepicker.js'></script>\n<script type='text/javascript' src='../externals/jquery-ui/ui/jquery.ui.mouse.js'></script>\n<script type='text/javascript' src='../externals/jquery-ui/ui/jquery.ui.slider.js'></script>\n<script type='text/javascript' src='../externals/jquery-timepicker/jquery-ui-timepicker-addon.js'></script>\n<link rel='stylesheet' href='../externals/jquery-ui/themes/base/jquery.ui.all.css'>\n<style type='text/css'>\n.ui-timepicker-div .ui-widget-header { margin-bottom: 8px; }\n.ui-timepicker-div dl { text-align: left; }\n.ui-timepicker-div dl dt { height: 25px; }\n.ui-timepicker-div dl dd { margin: -25px 0 10px 65px; }\n.ui-timepicker-div td { font-size: 90%; }\n</style>\n", "../externals/jquery-ui/ui/i18n/jquery.ui.datepicker-%s.js"),
|
|
|
|
//~ new AdminerTinymce("../externals/tinymce/jscripts/tiny_mce/tiny_mce_dev.js"),
|
2011-07-26 20:10:45 +00:00
|
|
|
//~ new AdminerWymeditor(array("../externals/wymeditor/src/jquery/jquery.js", "../externals/wymeditor/src/wymeditor/jquery.wymeditor.js", "../externals/wymeditor/src/wymeditor/jquery.wymeditor.explorer.js", "../externals/wymeditor/src/wymeditor/jquery.wymeditor.mozilla.js", "../externals/wymeditor/src/wymeditor/jquery.wymeditor.opera.js", "../externals/wymeditor/src/wymeditor/jquery.wymeditor.safari.js")),
|
2011-02-09 16:57:10 +00:00
|
|
|
new AdminerFileUpload(""),
|
|
|
|
new AdminerSlugify,
|
|
|
|
new AdminerTranslation,
|
|
|
|
new AdminerForeignSystem,
|
2011-02-10 17:16:10 +00:00
|
|
|
new AdminerEnumOption,
|
2011-05-24 15:35:57 +00:00
|
|
|
new AdminerTablesFilter,
|
2011-06-23 20:08:08 +00:00
|
|
|
new AdminerEditForeign,
|
2011-03-24 15:23:26 +00:00
|
|
|
);
|
|
|
|
|
|
|
|
/* It is possible to combine customization and plugins:
|
|
|
|
class AdminerCustomization extends AdminerPlugin {
|
|
|
|
}
|
|
|
|
return new AdminerCustomization($plugins);
|
|
|
|
*/
|
|
|
|
|
|
|
|
return new AdminerPlugin($plugins);
|
2011-02-09 16:57:10 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// include original Adminer or Adminer Editor (usually named adminer.php)
|
|
|
|
include "./index.php";
|