* Removed Wikipedia specific stuff ($wgDefaultUserOptionsIs and function

* Removed Wikipedia specific stuff ($wgDefaultUserOptionsIs and function
  getDefaultUserOptions), now inherits options from the parent.

* Expanded on date(), time() and timeanddate() to support additional time
  formats, i.e.:
    '15. jan��ar 2001 kl. 16:12',
    '15. jan. 2001 kl. 16:12',
    '16:12, 15. jan��ar 2001',
    '16:12, 15. jan. 2001',
    '2001-01-15 16:12:34'
  support still needs to be added for this one in other files in order for it
  to return anything other than the default ( 15. jan��ar 2001 kl. 16:12 ).