Андрей Мывреник

SQL - язык, если точнее, множество стандартов языка. Вы можете написать запрос на SQL, но исполнить его может только конкретная СУБД.
MySQL / MariaDB / PostgreSQL - различные реляционные СУБД, выполняющие запросы.
PhpMyAdmin / MySQL Workbench / DBeaver - приложения, для удобной работы с различными СУБД.

PhpMyAdmin совсем не обязательна, чтобы работать с MySQL:
dev.mysql.com/doc/refman/5.7/en/programs-client.html

# только файлы
find / -type f -perm -u=r -user $USER 2> /dev/null

# файлы и каталоги
find / -perm -u=r -user $USER 2> /dev/null

Сделайте alias в .gitconfig:

[alias]
  gmd = "!git checkout master && git pull && git checkout developer && git merge master && git commit ' merge with master' && git push"

Использовать можно будет так: git gmd

В гите я не особо разбираюсь, но немного знаю баш.
Если это приходится делать постоянно создайте alias.

ownCloud (есть еще его форк nextCloud)
Syncthing

1. Реализуем через WebSocket и подпиской на канал реал-тайм мониторинга.
2. При изменении - пуляем в канал ID-шник(и) элемента(-ов) и список его(их) новых значений в json-формате в виде ЕДИНОГО пакета.
3. Клиенты принимают пакет и обновляют нужные данные.

Мы делали это так:

Любое изменение/добавление/удаление данных создает в базе запись с неразрывным id.

Методы апи:
1) возвращает все объекты данных целиком + id последней записи об изменениях
2) метод отдающий записи изменений с id в указанном интервале.
3) сокет в котором в realtime приходят записи об изменениях. (делали на node.js + socket.io, там это из коробки реализуется очень быстро и просто)

Логика приложения:
Скачиваем все объекты из метода [1].
Начинаем слушать сокет [3], если нам приходит запись с id > last_id+1, запрашиваем разницу из метода [2]

Нужен. DTO объекты с конвертацией в сервисе из того, что принимает/понимает контроллеры в то, что принимают/понимают dao или repository.

Вопрос обсуждался здесь не один раз, смотрите например тут

<?php
function shortenNumber($number)
{
	if ($number != 0 && $number % 1000 == 0) {
		return $number/1000 . 'K';
	}
	return $number;
}

echo shortenNumber('1000'); // 1K
echo shortenNumber(123); // 123
echo shortenNumber(0); // 0
echo shortenNumber(-10000); // -10K

Более краткий вариант с регуляркой:

<?php
function shortenNumber($number)
{
	return preg_replace('/000$/', 'K', $number);
}

Посмотрите здесь.

Нужно будет добавить в зависимости проекта библиотеку Querydsl.