Commit graph

1831 commits

Author SHA1 Message Date
Translation updater bot 872882d0cb Localisation updates from https://translatewiki.net.
Change-Id: I1c4601ad037a36fccac3238aba05c2fde5345eec
2021-12-15 06:52:49 +01:00
Translation updater bot fefe41e2ee Localisation updates from https://translatewiki.net.
Change-Id: Ia831823f58acf00b866dcc150269f2b9f632934b
2021-12-08 06:47:55 +01:00
Translation updater bot fec014d4cb Localisation updates from https://translatewiki.net.
Change-Id: If1e670cec7a9b87543474056d34c092accbee79d
2021-11-24 14:34:44 +01:00
Translation updater bot 98a267d3ac Localisation updates from https://translatewiki.net.
Change-Id: I2991a7fb6954ee206e1e8b327f61033068cd1f2a
2021-11-16 13:16:22 +01:00
Translation updater bot 0d2bc7ca17 Localisation updates from https://translatewiki.net.
Change-Id: Icf05d17f79ea9cfaa17fccec25b424c989131b62
2021-09-13 08:28:40 +02:00
Translation updater bot a934ecc3b1 Localisation updates from https://translatewiki.net.
Change-Id: I9ba1b2f7a1d80538502d0ccbf22584c3d0c00ff6
2021-09-10 08:14:57 +02:00
Translation updater bot 4d8242f429 Localisation updates from https://translatewiki.net.
Change-Id: I3981778e72e2ae315f8765cbd294ec9395519269
2021-09-09 08:16:53 +02:00
Translation updater bot 79c7f568f5 Localisation updates from https://translatewiki.net.
Change-Id: I56b56c165580f4ddf7960b94fa39c55d9cd043ca
2021-09-08 08:09:47 +02:00
Translation updater bot 8fe4c04aed Localisation updates from https://translatewiki.net.
Change-Id: I776ede58099f8264e0c61a46bf1bd6446709eace
2021-09-07 08:10:08 +02:00
Translation updater bot 9c8af59d2c Localisation updates from https://translatewiki.net.
Change-Id: I0e6ec717baff0495aabe9f9c3a0f5125ae68335a
2021-09-06 08:19:58 +02:00
jenkins-bot 199cf1edf8 Merge "Add a static analyzer for the filter language" 2021-09-03 19:51:58 +00:00
Translation updater bot c93662e240 Localisation updates from https://translatewiki.net.
Change-Id: Ia0a0f86728aa0431624d9d01c92db9ef0434c427
2021-09-02 08:25:21 +02:00
Translation updater bot fcfd5fbdf6 Localisation updates from https://translatewiki.net.
Change-Id: I20ea2a972c577c87b471ab68a7e503d658b88c23
2021-09-01 08:15:40 +02:00
Translation updater bot 4b01397324 Localisation updates from https://translatewiki.net.
Change-Id: I566cec67a166c1891b4b34d233260e414c1f9503
2021-08-31 08:15:08 +02:00
Sorawee Porncharoenwase 320e3d696f Add a static analyzer for the filter language
This commit adds a class AFPSyntaxChecker which can statically analyze
a filter code to detect the following errors:

- unbound variables (which comes in two modes: conservative and liberal,
  default to conservative)
- unused variables (disabled by default for compatibilty)
- assignment on built-in identifiers
- function application's arity mismatch
- function application's invalid function name
- non-string literal in the first argument of set / set_var

The existing parser and evaluator are modified as follows:

- The new (caching) evaluator no longer needs to perform variable
  hoisting at runtime.
  - Note that for array assignment, this changes the semantics.
- The new parser is more lenient, reducing parsing errors.
  The static analyzer will catch these errors instead, allowing us
  to give a much better error message and reduces the complexity of
  the parser.
  * The parser now allows function name to be any identifier.
  * The parser now allows arity mismatch to occur.
  * The parser now allows the first argument of set to be any expression.

Concretely, obvious changes that users will see are:

1. a := [1]; false & (a[] := 2); a[0] === 1

   would evaluate to true, while it used to evaluate to the undefined value
   due to hoisting

2. f(1)

   will now error with 'f is not a valid function' as opposed to
   'Unexpected "T_BRACE"'

3. length

   will now error with 'Illegal use of built-in identifier "length"'
   as opposed to 'Expected a ('

Appendix: conservative and liberal mode

The conservative mode is completely compatible with the current evaluator.
That is,

false & (a := 1); a

will not deem `a` as unbound, though this is actually undesirable because
`a` would then be bound to the troublesome undefined value.

The liberal mode rejects the above pattern by deeming `a` as unbound.
However, it also rejects

true & (a := 1); a

even though (a := 1) is always executed. Since there are several filters
in Wikimedia projects that rely on this behavior, we default the mode
to conservative for now.

Note that even the liberal mode doesn't really respect lexical scope
appeared in some other programming languages (see also T234690).
For instance:

(if true then (a := 1) else (a := 2) end); a

would be accepted by the liberal checker, even though under lexical scope,
`a` would be unbound. However, it is unlikely that lexical scope
will be suitable for the filter language, as most filters in
Wikimedia projects that have user-defined variable do violate lexical scope.

Bug: T260903
Bug: T238709
Bug: T237610
Bug: T234690
Bug: T231536
Change-Id: Ic6d030503e554933f8d220c6f87b680505918ae2
2021-08-31 03:28:24 +02:00
Translation updater bot 32d5fd0218 Localisation updates from https://translatewiki.net.
Change-Id: Ifcff6e49b0690ebd9dca0a897d49f83f20dbb6a1
2021-08-30 08:19:21 +02:00
Translation updater bot 691e47a4a6 Localisation updates from https://translatewiki.net.
Change-Id: I1111bf7a2410c9fef6f3d4b1db6ba2bd759bd705
2021-08-26 08:35:01 +02:00
Translation updater bot aafbd68667 Localisation updates from https://translatewiki.net.
Change-Id: I24e6daae9e8909c7f0935ba53f02e2901388ce06
2021-08-24 10:16:42 +02:00
Translation updater bot 5c3fbcfb83 Localisation updates from https://translatewiki.net.
Change-Id: I7c4e7977b632f8989b559c28f02d6bc81b7c0e14
2021-08-23 09:03:19 +02:00
Translation updater bot 052240a5a5 Localisation updates from https://translatewiki.net.
Change-Id: I60b9c7326f8d326d932f1ebe3ccc0e51396d727d
2021-08-20 08:23:36 +02:00
Amir Aharoni e03467102c Remove two unused messages
It looks like they were removed in 2008:
6c7b701cc2

Change-Id: I5d91d846523307d8a3adb104503d255d8c726ed8
2021-08-19 22:29:53 +03:00
Translation updater bot d955f2f050 Localisation updates from https://translatewiki.net.
Change-Id: Ieb79b02caef2dafe7d3fe32b588ec1095b3366a2
2021-08-18 08:13:08 +02:00
Translation updater bot ce420438d8 Localisation updates from https://translatewiki.net.
Change-Id: I8b23a371a1884e7242b970db6042bd6234f6f940
2021-08-16 08:15:32 +02:00
Translation updater bot 67528ede69 Localisation updates from https://translatewiki.net.
Change-Id: Iee1758f64d041c6f7b9f12555aa37cdc2b42e50a
2021-08-12 08:09:13 +02:00
Translation updater bot e6eafdf496 Localisation updates from https://translatewiki.net.
Change-Id: I986c4c7c229c0808b6b374a143e42fd6c169faf2
2021-08-11 08:18:59 +02:00
Translation updater bot d512f01e8f Localisation updates from https://translatewiki.net.
Change-Id: I2ed4e9d2c6889b0621010a00eeb10b83444d16b9
2021-08-10 08:06:15 +02:00
Translation updater bot cd7958ba60 Localisation updates from https://translatewiki.net.
Change-Id: Ieb3481038beb857b0eabbae1035af852e92c00cd
2021-08-09 08:22:54 +02:00
Translation updater bot 4be9ef8332 Localisation updates from https://translatewiki.net.
Change-Id: Ia5d42d3b38e18201020a9debb729c753fe61344a
2021-08-06 08:13:09 +02:00
Translation updater bot 6af66eba3d Localisation updates from https://translatewiki.net.
Change-Id: I4e81fa4d3dbe513540fc6470020c3329cebb4211
2021-08-04 08:14:28 +02:00
Translation updater bot 1dfb191585 Localisation updates from https://translatewiki.net.
Change-Id: I89b8759cf45e79debf47d73608f60f8c52bc2ddc
2021-08-03 08:11:19 +02:00
Translation updater bot 455b4d1a6d Localisation updates from https://translatewiki.net.
Change-Id: I05f20f4d65e5f080fef97adcff8cf53339953d51
2021-07-30 08:27:11 +02:00
Translation updater bot 122862cedc Localisation updates from https://translatewiki.net.
Change-Id: I637a0f345e22bb1c41ac9c167437562a94e90310
2021-07-26 08:11:26 +02:00
Translation updater bot 274be621ef Localisation updates from https://translatewiki.net.
Change-Id: If660263b08f22a3d8cd84126ed3d108ea136e6ee
2021-07-22 08:12:51 +02:00
Translation updater bot ff5ada68aa Localisation updates from https://translatewiki.net.
Change-Id: I3e36ba4d1e8b53e439b9329dbce9f41391fd949d
2021-07-19 08:15:08 +02:00
Translation updater bot 708ae9a76d Localisation updates from https://translatewiki.net.
Change-Id: Ia7185f1946c5cb08a3fef63708b12ab3f08a8416
2021-07-16 08:43:08 +02:00
Translation updater bot 6133a26f66 Localisation updates from https://translatewiki.net.
Change-Id: Iea0fda8e87dddb1c08c9f7653ea05cf485418c62
2021-07-15 08:11:39 +02:00
Translation updater bot ee583dc212 Localisation updates from https://translatewiki.net.
Change-Id: Ia10387670f4da80ba279d00321cd2e278333bb13
2021-07-14 08:02:33 +02:00
Translation updater bot ab1128afde Localisation updates from https://translatewiki.net.
Change-Id: I2bc8ce57e939be53d151f264b7b916f546c8798b
2021-07-13 08:11:20 +02:00
Translation updater bot 28b09f6e21 Localisation updates from https://translatewiki.net.
Change-Id: I8620632dcc352ab4a94e5c9bef5945dcec2838c2
2021-07-12 08:05:46 +02:00
Translation updater bot 47158f6d26 Localisation updates from https://translatewiki.net.
Change-Id: Icd7b1407f9216d7d15ba425995d806f0ccf62626
2021-07-08 08:46:21 +02:00
Translation updater bot 3b699cd53b Localisation updates from https://translatewiki.net.
Change-Id: I6fa144789bdac812e5cd77f16d82b793dba4676c
2021-07-07 08:07:35 +02:00
Translation updater bot 66103a441e Localisation updates from https://translatewiki.net.
Change-Id: I49142d8ba7c7dfba61c50d7bf8bc7b8c79d2ab34
2021-07-06 08:38:05 +02:00
Translation updater bot 02b755d40b Localisation updates from https://translatewiki.net.
Change-Id: If32adbbd0b1b224840452ac7b22b468a7464ccdd
2021-07-05 08:06:20 +02:00
Translation updater bot 6dc2c068b5 Localisation updates from https://translatewiki.net.
Change-Id: If8edba4e6f02ea70bd04560be865d6491d130f7d
2021-07-02 08:30:46 +02:00
Translation updater bot 2b1de9ef11 Localisation updates from https://translatewiki.net.
Change-Id: Iad7177f8703306251cd600b8690894b734e6c7ce
2021-06-30 08:25:44 +02:00
Translation updater bot 3b0eadd666 Localisation updates from https://translatewiki.net.
Change-Id: I6cd76ac36ae88fec74fd32ecb7baa25333f67874
2021-06-28 09:22:21 +02:00
Translation updater bot a52ebcf221 Localisation updates from https://translatewiki.net.
Change-Id: I27bda07624cec34e8a19a6d974ee49f93c128f17
2021-06-21 14:11:06 +02:00
Translation updater bot 98dee510fb Localisation updates from https://translatewiki.net.
Change-Id: I6021746b15ab9873e14f9bb36c3b1fac9ffeb6a7
2021-06-18 08:20:09 +02:00
Translation updater bot 05f913952b Localisation updates from https://translatewiki.net.
Change-Id: I8df697d1846f890d8e1edfedf652df54ccf9d6ce
2021-06-16 08:19:06 +02:00
Translation updater bot 829d97b1ed Localisation updates from https://translatewiki.net.
Change-Id: If8908b167b231e864c9de62337869464cccf99bd
2021-06-15 08:31:48 +02:00