Fix #3933

[guillaumebort]

Implement HTMLOptionElement.{label,value}

[hoppipolla-critic-bot]

Critic review: https://critic.hoppipolla.co.uk/r/3119

This is an external review system which you may optionally use for the code review of your pull request.

In order to help critic track your changes, please do not make in-place history rewrites (e.g. via git rebase -i or git commit --amend) when updating this pull request.

[Ms2ger]

I don't think there's a need to add those fields. Note that @mvanderh is also working on this issue.

[guillaumebort]

Ok you are right, these fields were not needed.

I had a look at what @mvanderh was doing and I discovered how wpt/metadata/*.ini files were working... so I fixed them as well.

This is actually my first look at the servo codebase, so I'm not sure at all of what I'm doing. I let this open for now.

[jdm]

Looking good! I've left one comment on the Critic review.

[guillaumebort]

@jdm ok, I've removed the useless call to force_layout.

[jdm]

Great! Please squash and I'll merge :)

[guillaumebort]

@jdm Done

[bors-servo]

saw approval from jdm
at https://github.com/guillaumebort/servo/commit/09766511b5be92d64baca0bb7824455f8ae6befa

[bors-servo]

merging guillaumebort/servo/fix/3933 = 0976651 into auto

[bors-servo]

guillaumebort/servo/fix/3933 = 0976651 merged ok, testing candidate = 156db28

[bors-servo]

some tests failed:
failure: http://build.servo.org/builders/linux/builds/594

[bors-servo]

saw approval from jdm
at https://github.com/guillaumebort/servo/commit/09766511b5be92d64baca0bb7824455f8ae6befa

[bors-servo]

merging guillaumebort/servo/fix/3933 = 0976651 into auto

[bors-servo]

guillaumebort/servo/fix/3933 = 0976651 merged ok, testing candidate = 668d921

[bors-servo]

all tests pass:
success: http://build.servo.org/builders/linux/builds/596
success: http://build.servo.org/builders/mac1/builds/138
success: http://build.servo.org/builders/mac2/builds/137

[bors-servo]

fast-forwarding master to auto = 668d921