Disable search

Author: SerafimArts

.github/workflows/deploy.yml

@@ -18,10 +18,6 @@ env:
   ARTIFACT: webHelpTL2-all.zip
   # Writerside docker image version
   DOCKER_VERSION: '2025.04.8412'
-  ALGOLIA_ARTIFACT: 'algolia-indexes-TL.zip'
-  ALGOLIA_APP_NAME: 'CZXH99BXN1'
-  ALGOLIA_INDEX_NAME: 'Writerside'
-  ALGOLIA_KEY: '${{ secrets.ALGOLIA_KEY }}'
   CONFIG_JSON_PRODUCT: 'TL'
   CONFIG_JSON_VERSION: '1.0'
 
@@ -87,25 +83,3 @@ jobs:
       - name: Deploy to GitHub Pages
         id: deployment
         uses: actions/deploy-pages@v4
-
-  publish-indexes:
-    needs: [build, test, deploy]
-    runs-on: ubuntu-latest
-    container:
-      image: registry.jetbrains.team/p/writerside/builder/algolia-publisher:2.0.32-3
-    steps:
-      - name: Download artifact
-        uses: actions/download-artifact@v4
-        with:
-          name: docs
-      - name: Unzip artifact
-        run: |
-          unzip -O UTF-8 -qq '${{ env.ALGOLIA_ARTIFACT }}' -d algolia-indexes
-          env algolia-key='${{env.ALGOLIA_KEY}}' java -jar /opt/builder/help-publication-agent.jar \
-          update-index \
-          --application-name '${{env.ALGOLIA_APP_NAME}}' \
-          --index-name '${{env.ALGOLIA_INDEX_NAME}}' \
-          --product '${{env.CONFIG_JSON_PRODUCT}}' \
-          --version '${{env.CONFIG_JSON_VERSION}}' \
-          --index-directory algolia-indexes/ \
-          2>&1 | tee algolia-update-index-log.txt

Writerside/cfg/buildprofiles.xml

@@ -26,9 +26,9 @@
         <contribute-url>https://github.com/php-type-language/docs/blob/master/Writerside/</contribute-url>
         <custom-css>custom.css</custom-css>
 
-        <algolia-id>CZXH99BXN1</algolia-id>
+        <!--<algolia-id>CZXH99BXN1</algolia-id>
         <algolia-index>Writerside</algolia-index>
-        <algolia-api-key>70b2d5249859c00508d22cb54c52eeee</algolia-api-key>
+        <algolia-api-key>70b2d5249859c00508d22cb54c52eeee</algolia-api-key>-->
     </variables>
 
     <icons>