# If set, a bold ugly notice will show up at the top of every page.
$wgSiteNotice = "";
-
-# Javascript toolbar
-$wgEnableEditToolbar = true;
?>
global $wpSave, $wpPreview;
global $wpMinoredit, $wpEdittime, $wpTextbox2, $wpSection;
global $oldid, $redirect, $section;
- global $wgLang, $wgEnableEditToolbar;
+ global $wgLang;
if(isset($wpSection)) { $section=$wpSection; } else { $wpSection=$section; }
$wpSummary = wfEscapeHTML( $wpSummary );
- if($wgUser->getOption("showtoolbar") && $wgEnableEditToolbar) {
+ if($wgUser->getOption("showtoolbar")) {
// prepare toolbar for edit buttons
$toolbar=$sk->getEditToolbar();
}
"nocache" => "Disable page caching"
);
-if (!$wgEnableEditToolbar) {
- unset($wgUserTogglesEn['showtoolbar']);
-}
-
/* private */ $wgBookstoreListEn = array(
"AddALL" => "http://www.addall.com/New/Partner.cgi?query=$1&type=ISBN",
"PriceSCAN" => "http://www.pricescan.com/books/bookDetail.asp?isbn=$1",
function do_index_update() {
# Check that proper indexes are in place
global $wgDatabase;
- $meta = $wgDatabase->field_info( "recentchanges", "rc_timestamp" );
+ $meta = $wgDatabase->fieldInfo( "recentchanges", "rc_timestamp" );
if( $meta->multiple_key == 0 ) {
echo "Updating indexes to 20031107: ";
dbsource( "maintenance/archives/patch-indexes.sql" );