[01:01:36] Zppix I’m thinking about disabling the php55lint on the Gerrit repo since the site is no longer written in php [01:06:53] It kinda is [01:07:02] I'd leave it [01:07:15] It c+2 makes jenkins auto merge it to master :) [01:07:18] Less manual labor [01:08:12] There are no .php files at the moment [01:09:18] I wonder if there is a lint for html code [01:15:17] The entire index.php is php? [01:16:03] I renamed the .php files to .html ones. I have made a bunch of changes recently. [01:16:29] For instance I also expanded the css a bit [01:17:25] https://github.com/wikimedia/labs-tools-ZppixBot/commit/5646e042a221adb3a53abef2edc6fc9e73efb14d [01:24:13] [01:24:21] Since that commit [01:28:14] I'd keep it [01:28:18] Jenkins man [15:36:04] (03PS1) 10Hashar: Jenkins job validation (DO NOT SUBMIT) [labs/tools/ZppixBot] - 10https://gerrit.wikimedia.org/r/405889 [15:36:06] (03PS1) 10Hashar: Jenkins test (DO NOT SUBMIT) [labs/tools/ZppixBot] - 10https://gerrit.wikimedia.org/r/405890 [15:59:09] (03CR) 10Hashar: "recheck" [labs/tools/ZppixBot] - 10https://gerrit.wikimedia.org/r/405890 (owner: 10Hashar) [16:01:06] (03CR) 10Hashar: "recheck" [labs/tools/ZppixBot] - 10https://gerrit.wikimedia.org/r/405889 (owner: 10Hashar)