* to ensure that client-side caches don't keep obsolete copies of global
* styles.
*/
-$wgStyleVersion = '37';
+$wgStyleVersion = '38';
# Server-side caching:
*/
$wgAjaxExportList = array( );
+/**
+ * Enable watching/unwatching pages using AJAX.
+ * Requires $wgUseAjax to be true too.
+ * Causes wfAjaxWatch to be added to $wgAjaxExportList
+ */
+$wgAjaxWatch = false;
+
/**
* Allow DISPLAYTITLE to change title display
*/