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
|
|
|
|
|
|
|
/* It is possible to combine customization and plugins:
|
|
|
|
class AdminerCustomization extends AdminerPlugin {
|
|
|
|
}
|
|
|
|
return new AdminerCustomization($plugins);
|
|
|
|
*/
|
|
|
|
|
2011-02-09 16:57:10 +00:00
|
|
|
return new AdminerPlugin(array(
|
|
|
|
// specify enabled plugins here
|
2011-02-17 10:47:36 +00:00
|
|
|
new AdminerDumpZip,
|
2011-02-09 16:57:10 +00:00
|
|
|
new AdminerDumpXml,
|
2011-02-18 15:16:36 +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"),
|
2011-02-09 16:57:10 +00:00
|
|
|
new AdminerTinymce("../externals/tinymce/jscripts/tiny_mce/tiny_mce_dev.js"),
|
|
|
|
new AdminerFileUpload(""),
|
|
|
|
new AdminerSlugify,
|
|
|
|
new AdminerTranslation,
|
|
|
|
new AdminerForeignSystem,
|
2011-02-10 17:16:10 +00:00
|
|
|
new AdminerEnumOption,
|
2011-02-09 16:57:10 +00:00
|
|
|
));
|
|
|
|
}
|
|
|
|
|
|
|
|
// include original Adminer or Adminer Editor (usually named adminer.php)
|
|
|
|
include "./index.php";
|