NOTICE: By continued use of this site you understand and agree to the binding Terms of Service and Privacy Policy.
// ==UserScript== // @name php.net always in English // @namespace php.net.english // @author matheusfaustino // @description set always english for php.net // @include *php.net/manual/*/* // @exclude *php.net/manual/en/* // @version 1 // @grant none // ==/UserScript== var regexEn = new RegExp('en\/.+', 'i'); var formChangeLang = document.getElementById('changelang'); var selectChangeLang = document.getElementById('changelang-langs'); var englishValue = ''; for(i = 0; i < selectChangeLang.options.length && !englishValue; i++) if (regexEn.test(selectChangeLang.options[i].value)) { englishValue = selectChangeLang.options[i].value; } // use window.replace here. Works better with back button browser selectChangeLang.value = englishValue; formChangeLang.submit()