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()