Turn off the API search here too

The Bing search API hasn't worked for a while, and it is no
longer free, so turn it off entirely

Remove this links.. hasn't been maintained for a long time

But the redirects in the right place.. and lowercase so it works

This file is still in used by the old-web.

This is a partial revert of 613a15b4954034a65072cd78d007072221779998

I don't have ext/filter, and it has never been a requirement either

Remove annoying javascript error on all pages except docs

Mention the twitter account (cjones)

More details, written by our new Public Relations Manager: Adam Harvey

Add a news entry about the current status, written by Rasmus

Replace hourly-pre-generated release feed with a PHP script

Seems to fix couple of things, like actually including all the
supported" minor versions, not listing empty windows sections e

Replace hourly-pre-generated release feed with a PHP script

Seems to fix couple of things, like actually including all the
supported" minor versions, not listing empty windows sections etc etc
probably breaks something too

show more ...

There is no reason why this needs to be generated from a database every hour

Here it was hiding.. renamed to /mirror-stats.conf since its not a backend anymore

We have commit logs for this

There is no need for a generated mirrorkit.tgz archive here

Although this is just over 11years old config.. heh

Kill reST things

It doesn't even render correctly, and has gone more or less unused

test2

- testing

- deactivate mysql use for now

Testing push.

Testing push.

.

Remove funcitons.js. Only used by search.php which hasn't made sense for many many many
years.

Could be the reason why Google is blocking us today..

Reverted the removal of bold on <em> tags.

Removed bold style on em; this is mostly important for the wiki, but always making 'italic' also bold is overwhelming.