Reimported 1.1.1 - fixed 3 digit hex issue

jquery · Jul 31, 2012 · 83d1576f24b5a6e8b2ea39e16497491a23dc6105 · 83d1576
1 parent b0fd0e4
commit 83d1576f24b5a6e8b2ea39e16497491a23dc6105
Unified Split

Showing with 320 additions and 138 deletions.

+4 −0 add_version.php

+116 −116 jqm/1.1.1/jqm.default.theme.css

+181 −2 jqm/1.1.1/jqm.min.js

+19 −19 jqm/1.1.1/jqm.starter.theme.css

+0 −1 version.php
diff --git a/add_version.php b/add_version.php
@@ -98,6 +98,10 @@ function writeFile( $filename, $string ) {
     function createStarter( $default, $starter ) {
         $contents = file_get_contents( $default );
         
+        //replace all 3 digit hex with matching 6 digit ones
+        $contents = preg_replace( "/\#([A-Fa-f0-9])([A-Fa-f0-9])([A-Fa-f0-9])\s/s", "#$1$1$2$2$3$3 ", $contents );
+        writeFile( $default, $contents );
+        
         $contents = preg_replace( "/\/\*\s*A\s*-*\*\/.*(\/\*\s*B\s*-*\*\/)/s", "$1", $contents );
         $contents = preg_replace( "/\/\*\s*B\s*-*\*\/.*(\/\*\s*C\s*-*\*\/)/s", "$1", $contents );
         $contents = preg_replace( "/\/\*\s*D\s*-*\*\/.*(\/\*\s*E\s*-*\*\/)/s", "$1", $contents );