* to ensure that client-side caches do not keep obsolete copies of global
* styles.
*/
-$wgStyleVersion = '265';
+$wgStyleVersion = '267';
# Server-side caching:
*/
$wgSquidServersNoPurge = array();
-/**
- * Default character limit for squid purge responses
- */
-$wgSquidResponseLimit = 250;
-
/** Maximum number of titles to purge in any one client operation */
$wgMaxSquidPurgeTitles = 400;
$wgDebugProfiling = false;
/** Output debug message on every wfProfileIn/wfProfileOut */
$wgDebugFunctionEntry = 0;
-/** Lots of debugging output from SquidUpdate.php */
-$wgDebugSquid = false;
/*
* Destination for wfIncrStats() data...
* Should we allow a broader set of characters in id attributes, per HTML5? If
* not, use only HTML 4-compatible IDs. This option is for testing -- when the
* functionality is ready, it will be on by default with no option.
+ *
+ * Currently this appears to work fine in Chrome 4 and 5, Firefox 3.5 and 3.6, IE6
+ * and 8, and Opera 10.50, but it fails in Opera 10.10: Unicode IDs don't seem
+ * to work as anchors. So not quite ready for general use yet.
*/
$wgExperimentalHtmlIds = false;