[11:36:40] Hello, is it passible to make changes to nging default.conf for my tool on Toolforge? [12:01:12] Hello, is it passible to make changes to nginx default.conf for my tool on Toolforge? [12:01:47] iridescence: ask in #wikimedia-cloud [12:02:18] I will do, thanks [13:24:12] Hi [13:24:25] Is lint-errors stored as a table? [13:24:38] To generate the Special:LintErrors pages [13:25:09] because what I was wanting to do was determine which templates that have errors are called the most... [13:25:39] So that 'high-use' templates can be prioritised over repairs over ones no-one ever uses [13:29:04] Yes [13:47:52] Okay Which table? [13:48:10] The thought was asking someone to build a quarry query? [13:59:42] ShakespeareFan00: unsurprisingly, the linter table [13:59:48] https://github.com/wikimedia/mediawiki-extensions-Linter/blob/master/sql/linter.sql [14:10:06] Thanks [18:39:26] [[Tech]]; Kyykaarme; /* campaign-external-machine-translation */ new section; https://meta.wikimedia.org/w/index.php?diff=20001362&oldid=19983408&rcid=15307812 [19:09:47] [[Tech]]; Stryn; /* campaign-external-machine-translation */ re; https://meta.wikimedia.org/w/index.php?diff=20001476&oldid=20001362&rcid=15307989 [21:56:50] hello, i found a problem with category counters [21:58:34] this category has a total of 308 items, first page contains 200, but last page says 110 items from 308 total [21:58:36] https://es.wikipedia.org/wiki/Categor%C3%ADa:Wikipedia:Art%C3%ADculos_grabados [22:00:25] this other category has the same problem, last page says 95 items from 3296 [22:00:27] https://es.wikipedia.org/w/index.php?title=Categor%C3%ADa:Wikipedia:Art%C3%ADculos_buenos&pagefrom=Vidrio+de+Hebr%C3%B3n#mw-pages [22:17:46] leoncastro, known, long-standing issue. the task to try to fix it is https://phabricator.wikimedia.org/T221795 [22:18:23] in this case it's only off by 1 or 2 which really isn't that bad [22:18:34] (compared to how bad it can be) [22:22:10] the second category list the "good articles" in eswiki, so difference of one is really a problem here [22:23:53] anyone can put a badget in wikidata and increments one good article without being a real good article