An HTML/DOM page scripting question (like GreaseMonkey)

**xoggoth** · 24 February 2018, 21:24

Would it work to use similar to that daft thing I came up with to remove the Br... word from CUK pages?

https://forums.contractoruk.com/ligh...thread-13.html

Enter URL into a input on the page, use file_get_contents to get the page, change the required line and echo.

Give us a link to typical page.

**d000hg** · 26 February 2018, 12:34

Can you link to the individual post... that link takes me to the very last post of an 8-page thread due to different posts-per-page settings?

I can't link to a page as they're generated on the fly but in Chrome dev tools it looks like this:

HTML Code:

<html>
<head>
<meta name="viewport" content="width=device-width">
</head>
<body>
<video controls="" autoplay="" name="media" <!-- width="800" --> >
<source src="WHATEVER" type="audio/mpeg">
</video>
</body>
</html>

**xoggoth** · 28 February 2018, 21:02

Not sure what you mean by "neat feature". Do you mean the usual "open in new tab"? Gives me a full size page with controls in the middle. They are a bit small although, as an old fart who ratchets up the zoom, I didn't notice at first.

Anyway, will prob. have a fiddle tomorrow.

**d000hg** · 1 March 2018, 10:54

Originally posted by xoggoth View Post

Not sure what you mean by "neat feature". Do you mean the usual "open in new tab"? Gives me a full size page with controls in the middle.

Exactly.

They are a bit small although, as an old fart who ratchets up the zoom, I didn't notice at first.

Anyway, will prob. have a fiddle tomorrow.

I'd never thought to zoom but even so on a 2.5 hour MP3, trying to position it is a PITA. I have now got editing the the DOM down to about 5-10s maybe it'll just become routine though I'd still be interested in a nerdy solution.

**xoggoth** · 1 March 2018, 17:46

Zoom doesn't actually change control width, just makes them fatter. Seems to be just Chrome that makes controls so small, Edge is much better.

I did come across an extension, Media controller. Adds a box to let you forward/rewind at various speeds, or specify a start time. On this page:

https://chrome.google.com/webstore/search/mp3%20control

**xoggoth** · 1 March 2018, 20:53

Chrome seems to make it pretty easy to make extensions in jscript to do stuff like this. See background colour changer here:

https://developer.chrome.com/extensions/getstarted

Note that if it seems not to work on some pages (inc Google) that's just because the background is hidden behind other elements.

Another example here where a guy changes all the images on a page to images of cats. If you can change sources of all images on a page in 4 lines, I don't see why one can't do same with video styles.

https://blog.lateral.io/2016/04/crea...ites-html-css/

Inerresting!

**xoggoth** · 2 March 2018, 10:34

Hmm. Can't quite seem to get extension to change size of video controls as yet but following that second link above I did manage to make clicking of any CUK link to open the Daily Mail! A proper righty browser!

An HTML/DOM page scripting question (like GreaseMonkey)