| Index: tools/perf/page_sets/tough_video_cases/audio_playback.html
|
| diff --git a/tools/perf/page_sets/tough_video_cases/audio_playback.html b/tools/perf/page_sets/tough_video_cases/audio_playback.html
|
| deleted file mode 100644
|
| index c5ccbc86b82c6274df2b895cb05ba3774985a8dd..0000000000000000000000000000000000000000
|
| --- a/tools/perf/page_sets/tough_video_cases/audio_playback.html
|
| +++ /dev/null
|
| @@ -1,23 +0,0 @@
|
| -<!DOCTYPE html>
|
| -<html>
|
| - <body>
|
| - <script>
|
| - function addAudio(id, file) {
|
| - var audio = document.createElement('audio');
|
| - audio.src = file;
|
| - audio.loop = true;
|
| - audio.id = id;
|
| - document.body.appendChild(audio);
|
| - }
|
| -
|
| - function getIDFromURL() {
|
| - var query = window.location.search;
|
| - return query.substring(query.lastIndexOf("id=") + 3);
|
| - }
|
| -
|
| - addAudio('background_audio', 'pink_noise_20s.wav');
|
| - // Main audio file is identified by an ID passed in the page-set.
|
| - addAudio(getIDFromURL(), 'pink_noise_140ms.wav');
|
| - </script>
|
| - </body>
|
| -</html>
|
|
|