Added HTML5-PHP library.
Added HTML5_STUB.