json_encode and json_decode functions for use in PHP 5.1

Fixed searching for modules with the option_default function defined

Also clean up HTML a little

Removed a warning in the installation process

Reverting 004f8e04

Simply call through to the new files, to maintain
backwards-compatibility.

Set to Unix line endings in repo; the gitattributes file means they
will be converted to suit the user’s system.