fixing librejs on mediawiki & libreplanet.org

diff --git a/directory.fsf.org/20130110/index.html b/directory.fsf.org/20130110/index.html
index a963d495de49e3d87ebcc15bbfc2dad82dec427d..5efe7d9ec242113124e47c1e39ff12de0b145bbf 100644 (file)
--- a/directory.fsf.org/20130110/index.html
+++ b/directory.fsf.org/20130110/index.html
@@ -32,10 +32,115 @@ for the JavaScript code in this page.|
         <td><a href="http://www.gnu.org/licenses/gpl-3.0.html">GNU General Public License 3.0 or later</a></td>
         <td><a href="http://weblabels.fsf.org/directory.fsf.org/20130110/files/"></a></td>
       </tr>
-               </table>
+
+
+
+
+
+<tr>
+    <td><a href="https://directory.fsf.org/w/load.php?debug=true&lang=en&modules=skins.vector&only=scripts&skin=vector&*">load.sh</a></td>
+    <td><a href="http://www.gnu.org/licenses/gpl-3.0.html">GNU-GPL-3.0-or-later</a></td>
+    <td><a href="https://directory.fsf.org/w/load.php?debug=true&lang=en&modules=skins.vector&only=scripts&skin=vector&*">load.sh</a></td>
+</tr>
+
+<tr>
+    <td><a href="/w/load.php?debug=true&lang=en&modules=site&only=scripts&skin=vector&*">load.sh</a></td>
+    <td><a href="https://www.gnu.org/licenses/gpl-3.0.html">GNU-GPL-3.0-or-later</a></td>
+    <td><a href="/w/load.php?debug=true&lang=en&modules=site&only=scripts&skin=vector&*">load.sh</a></td>
+</tr>
+
+<tr>
+    <td><a href="/w/load.php?*">load.sh</a></td>
+    <td><a href="https://www.gnu.org/licenses/gpl-3.0.html">GNU-GPL-3.0-or-later</a></td>
+    <td><a href="/w/load.php?*">load.sh</a></td>
+</tr>
+
+
+
+<tr>
+    <td><a href="/w/load.php?debug=true&lang=en&modules=jquery%2Cmediawiki&only=scripts&skin=vector&version=20121204T210731Z">load.sh</a></td>
+    <td><a href="https://www.gnu.org/licenses/gpl-3.0.html">GNU-GPL-3.0-or-later</a></td>
+    <td><a href="/w/load.php?debug=true&lang=en&modules=jquery%2Cmediawiki&only=scripts&skin=vector&version=20121204T210731Z">load.sh</a></td>
+</tr>
+
+
+
+<tr>
+    <td><a href="/w/load.php?debug=true&lang=en&modules=startup&only=scripts&skin=vector&*">load.sh</a></td>
+    <td><a href="https://www.gnu.org/licenses/gpl-3.0.html">GNU-GPL-3.0-or-later</a></td>
+    <td><a href="/w/load.php?debug=true&lang=en&modules=startup&only=scripts&skin=vector&*">load.sh</a></td>
+</tr>
+
+<tr>
+    <td><a href="/w/load.php?debug=true&lang=en&modules=startup&only=scripts&skin=vector&*">load.sh</a></td>
+    <td><a href="https://www.gnu.org/licenses/gpl-3.0.html">GNU-GPL-3.0-or-later</a></td>
+    <td><a href="/w/load.php?debug=true&lang=en&modules=startup&only=scripts&skin=vector&*">load.sh</a></td>
+</tr>
+
+
+
+
+<tr>
+    <td><a href="/w/skins/common/ajax.js">ajax.js</a></td>
+    <td><a href="https://www.gnu.org/licenses/gpl-3.0.html">GNU-GPL-3.0-or-later</a></td>
+    <td><a href="/w/skins/common/ajax.js">ajax.js</a></td>
+</tr>
+
+
+<tr>
+    <td><a href="/w/skins/common/wikibits.js">wikibits.js</a></td>
+    <td><a href="https://www.gnu.org/licenses/gpl-3.0.html">GNU-GPL-3.0-or-later</a></td>
+    <td><a href="/w/skins/common/wikibits.js">wikibits.js</a></td>
+</tr>
+
+<tr>
+    <td><a href="/w/resources/jquery/jquery.client.js">jquery.client.js</a></td>
+    <td><a href="https://www.gnu.org/licenses/gpl-3.0.html">GNU-GPL-3.0-or-later</a></td>
+    <td><a href="/w/resources/jquery/jquery.client.js">jquery.client.js</a></td>
+</tr>
+
+
+<tr>
+    <td><a href="/w/resources/jquery.ui/jquery.ui.core.js">jquery.ui.core.js</a></td>
+    <td><a href="https://www.gnu.org/licenses/gpl-3.0.html">GNU-GPL-3.0-or-later</a></td>
+    <td><a href="/w/resources/jquery.ui/jquery.ui.core.js">jquery.ui.core.js</a></td>
+</tr>
+
+
+<tr>
+    <td><a href="/w/resources/jquery.ui/jquery.ui.widget.js">jquery.ui.widget.js</a></td>
+    <td><a href="https://www.gnu.org/licenses/gpl-3.0.html">GNU-GPL-3.0-or-later</a></td>
+    <td><a href="/w/resources/jquery.ui/jquery.ui.widget.js">jquery.ui.widget.js</a></td>
+</tr>
+
+
+<tr>
+    <td><a href="/w/resources/jquery.ui/jquery.ui.tabs.js">jquery.ui.tabs.js</a></td>
+    <td><a href="https://www.gnu.org/licenses/gpl-3.0.html">GNU-GPL-3.0-or-later</a></td>
+    <td><a href="/w/resources/jquery.ui/jquery.ui.tabs.js">jquery.ui.tabs.js</a></td>
+</tr>
+
+
+<tr>
+    <td><a href="/w/load.php?debug=true&lang=en&modules=startup&only=scripts&skin=vector&*">load.php</a></td>
+    <td><a href="https://www.gnu.org/licenses/gpl-3.0.html">GNU-GPL-3.0-or-later</a></td>
+    <td><a href="/w/load.php?debug=true&lang=en&modules=startup&only=scripts&skin=vector&*">load.php</a></td>
+</tr>
+
+<tr>
+    <td><a href="/w/resources/jquery/jquery.tablesorter.js">jquery.tablesorter.js</a></td>
+    <td><a href="https://www.gnu.org/licenses/gpl-3.0.html">GNU-GPL-3.0-or-later</a></td>
+    <td><a href="/w/resources/jquery/jquery.tablesorter.js">jquery.tablesorter.js</a></td>
+</tr>
+
+
+</table>
+
+
+
 <!-- Piwik -->
 <script type="text/javascript">
-var pkBaseURL = (("https:" == document.location.protocol) ? "https://piwik.fsf.org/" : "http://piwik.fsf.org/");
+var pkBaseURL = (("https:" == document.location.protocol) ? "https://piwik.fsf.org/" : "https://piwik.fsf.org/");
 document.write(unescape("%3Cscript src='" + pkBaseURL + "piwik.js' type='text/javascript'%3E%3C/script%3E"));
 </script><script type="text/javascript">
 try {