update php version

This commit is contained in:
Dennis Eichhorn 2022-04-19 23:37:09 +02:00
parent fa6fc4c17c
commit c7f2946faa
5 changed files with 11 additions and 11 deletions

View File

@ -49,8 +49,6 @@ jobs:
runs-on: ubuntu-latest
if: "!contains(github.event.head_commit.message, 'NO_CI')"
steps:
- name: Js strict
run: if [[ $(grep -r -L "\"use strict\";" --include=*.js ./) -ne "" ]]; then exit 1; fi
- name: Js inspection
run: |
if [[ $(grep -rlni "onafterprint=\|onbeforeprint=\|onbeforeunload=\|onerror=\|onhaschange=\|onload=\|onmessage=\|onoffline=\|ononline=\|onpagehide=\|onpageshow=\|onpopstate=\|onredo=\|onresize=\|onstorage=\|onund=o\|onunload=\|onblur=\|onchage=\|oncontextmenu=\|onfocus=\|onformchange=\|onforminput=\|oninput=\|oninvalid=\|onreset=\|onselect=\|onsubmit=\|onkeydown=\|onkeypress=\|onkeyup=\|onclick=\|ondblclic=k\|ondrag=\|ondragend=\|ondragenter=\|ondragleave=\|ondragover=\|ondragstart=\|ondrop=\|onmousedown=\|onmousemove=\|onmouseout=\|onmouseover=\|onmouseup=\|onmousewheel=\|onscroll=\|onabor=t\|oncanplay=\|oncanplaythrough=\|ondurationchange=\|onemptied=\|onended=\|onerror=\|onloadeddata=\|onloadedmetadata=\|onloadstart=\|onpause=\|onplay=\|onplaying=\|onprogress=\|onratechange=\|onreadystatechange=\|onseeked=\|onseeking=\|onstalled=\|onsuspend=\|ontimeupdate=\|onvolumechange=" --include=*.js ./) -ne "" ]]; then exit 1; fi

View File

@ -96,6 +96,7 @@ export class Request
{
/** global: InstallTrigger */
/** global: navigator */
/** global: window */
if ((!!window.opr && !!opr.addons) || !!window.opera || navigator.userAgent.indexOf(' OPR/') >= 0) {
return BrowserType.OPERA;
} else if (typeof InstallTrigger !== 'undefined') {

View File

@ -2,6 +2,7 @@ import { Request } from '../Message/Request/Request.js';
import { RequestMethod } from '../Message/Request/RequestMethod.js';
import { RequestType } from '../Message/Request/RequestType.js';
import { Response } from '../Message/Response/Response.js';
import { GeneralUI } from './GeneralUI.js';
/**
* Remote data class.
@ -55,7 +56,7 @@ export class RemoteData
request.setSuccess(function (xhr) {
const data = JSON.parse(xhr.response);
let responseLength = data.length;
const responseLength = data.length;
let currentElement = null;
for (let i = 0; i < responseLength; ++i) {
@ -116,7 +117,7 @@ export class RemoteData
if (currentElement === null) {
uiContainer.appendChild(newElements[j].firstElementChild);
} else {
uiContainer.insertBefore(newElements[j].firstElementChild, currentElement)
uiContainer.insertBefore(newElements[j].firstElementChild, currentElement);
}
}