Skip to content

Instantly share code, notes, and snippets.

import 'dart:convert';
import 'dart:ui';
import 'package:flutter/material.dart';
import 'package:flutter/services.dart';
class AppLocalizations {
AppLocalizations(this.locale);
final Locale fallbackLocale = Locale('en');
static AppLocalizations of(BuildContext context) {
@ernstki
ernstki / README.md
Last active May 19, 2023 19:06
Stop "Saved in parser cache with key" message from showing up in rendered page output; works with MediaWiki 1.30.x

Suppress MediaWiki parser cache key in rendered source

Stop messages like

<!-- Saved in parser cache with key wiki:pcache:idhash:9999-0!*!0!!en!*!* and timestamp 20180627230404 and revision id 9999
 -->

from appearing in the rendered page source for your MediaWiki articles.

@stuart11n
stuart11n / gist:9628955
Created March 18, 2014 20:34
rename git branch locally and remotely
git branch -m old_branch new_branch # Rename branch locally
git push origin :old_branch # Delete the old branch
git push --set-upstream origin new_branch # Push the new branch, set local branch to track the new remote
@gka
gka / _readme.md
Created January 24, 2013 20:43
PHP Endpoint for Github Webhook URLs

PHP Endpoint for Github Webhook URLs

If you love deploying websites using Github, but for some reason want to use your own server, this script might be exactly what you need.

  1. Put github.php somewhere on your PHP-enabled web server, and make it accessible for the outside world. Let's say for now the script lives on http://example.com/github.php