[Pkg-mediawiki-commits] r191 - in mediawiki-extensions/trunk: . extra

[Thorsten Glaser]

Author: tg
Date: 2010-06-30 08:42:54 +0000 (Wed, 30 Jun 2010)
New Revision: 191

Added:
   mediawiki-extensions/trunk/extra/
   mediawiki-extensions/trunk/extra/mediawiki-extensions-collection.links
Modified:
   mediawiki-extensions/trunk/check_versions.pl
Log:
just as well?\226?\128?\166 I am tired of having to fix this every time


Modified: mediawiki-extensions/trunk/check_versions.pl
===================================================================
--- mediawiki-extensions/trunk/check_versions.pl	2010-06-30 08:35:51 UTC (rev 190)
+++ mediawiki-extensions/trunk/check_versions.pl	2010-06-30 08:42:54 UTC (rev 191)
@@ -205,5 +205,6 @@
 }
 close(F);
 
+system("for extrafile in extra/*; do cat \$extrafile >>$tmpdir/\$(basename \$extrafile); done");
 system("cp $tmpdir/* debian $redirect") ;
-system("rm -rf $tmpdir $redirect \$(cat killfile)") ;
+system("rm -rf $tmpdir \$(cat killfile) $redirect");

Copied: mediawiki-extensions/trunk/extra/mediawiki-extensions-collection.links (from rev 189, mediawiki-extensions/trunk/debian/mediawiki-extensions-collection.links)
===================================================================
--- mediawiki-extensions/trunk/extra/mediawiki-extensions-collection.links	                        (rev 0)
+++ mediawiki-extensions/trunk/extra/mediawiki-extensions-collection.links	2010-06-30 08:42:54 UTC (rev 191)
@@ -0,0 +1,2 @@
+usr/share/javascript/jquery-ui/jquery-ui.js usr/share/mediawiki-extensions/collection/js/jquery.ui.js
+usr/share/javascript/jquery/jquery.js usr/share/mediawiki-extensions/collection/js/jquery.js


Property changes on: mediawiki-extensions/trunk/extra/mediawiki-extensions-collection.links
___________________________________________________________________
Added: svn:mergeinfo
   +