Comment

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 0c397b1..7385fcc 100644 (file)
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -1160,6 +1160,7 @@ $wgGroupPermissions['bureaucrat']['userrights']  = true;
 // For private log access
 #$wgGroupPermissions['suppress']['suppress'] = true;
 
+// Pending WMF schema change...temporary variable
 $wgAllowLogDeletion = false;
 
 /**