bump style version for the last commit removing the recently-added 'overflow: hidden...

That had RTL issues, and also broke all headers in IE/Mac 5.x

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 7d495e3..a80ab6d 100644 (file)
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -1201,7 +1201,7 @@ $wgCacheEpoch = '20030516000000';
  * to ensure that client-side caches don't keep obsolete copies of global
  * styles.
  */
-$wgStyleVersion = '86';
+$wgStyleVersion = '87';
 
 
 # Server-side caching: