Remove unused extensions & properties
Remove unused extensions & properties


Former-commit-id: 1036d85a755f51a88e9e1f2a05430f5526476977
Former-commit-id: 2d8f8d0c07dc781d6dc989adb9e9ae48f0049019 [formerly 5f95cc44ddb1aff6ca6bddec3b924d04baf97826] [formerly d5ab6d5f02450cb52f406ca815161babea418275 [formerly 533488dfec75a6667c50b2da8b5919fc5eb2d214]]
Former-commit-id: 576d51335694aa518752f25cbcc69e2ab94c50b6 [formerly cea82173fbabaaf727c792d8a75c7433c755b492]
Former-commit-id: 29f23eaae369f61892f668a2970bde0b2de8a085
PolyJIT/benchbuild,PolyJIT/benchbuild,PolyJIT/benchbuild,PolyJIT/benchbuild