W3C home > Mailing lists > Public > public-wiki-dev@w3.org > October to December 2007

google search for media wiki to supplement built-in search

From: Alan Ruttenberg <alanruttenberg@gmail.com>
Date: Mon, 24 Dec 2007 08:04:27 -0500
To: public-wiki-dev@w3.org
Message-Id: <B8EE359B-0EC1-4616-9131-C87042ED4DC4@gmail.com>
Cc: Oliver Thereaux <ot@w3.org>
Could we add this htmlet to the OWLWG wiki?

<!-- Google CSE Search Box Begins  -->
<form action="http://www.google.com/cse"  
   <input type="hidden" name="cx"  
value="017928668225405659122:enmn1cbxzg8" />
   <input type="text" name="q" size="25" />
   <input type="submit" name="sa" value="Search" />
<script type="text/javascript" src="http://www.google.com/coop/cse/ 
<!-- Google CSE Search Box Ends -->

This is a custom google search, currently just against the wiki. I  
find the mediawiki built pretty bad.

Also, if we install http://www.mediawiki.org/wiki/Extension:RawMsg  
then life would be a bit easier for stuff like this as sysops could  
defined this sort of thing on the wiki itself, rather than putting in  
a support request.

Received on Monday, 24 December 2007 13:04:40 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 19:40:57 UTC